for C being non empty set
for f being Function of C,REAL holds
( max+ f is total & max- f is total )