for X being non empty set
for f, g being Function of X,REAL holds min (f,g) <= f