Realvalued function/Set/Minimum/Definition