theorem Th37: :: RFUNCT_3:37

for D being non empty set
for F being PartFunc of D,REAL
for d being Element of D holds 0 <= (max+ F) . d