Realvalued function/Set/Maximum/Definition