Realvalued function/Set/Maximum and minimum/Definition