theorem Th08: :: COUSIN2:8

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