for X being non empty set
for f being PartFunc of X,ExtREAL holds
( rng (max+ f) c= (rng f) \/ {0} & rng (max- f) c= (rng (- f)) \/ {0} )