for X being non empty set
for f, g being PartFunc of X,ExtREAL st ( not f is V82() or not g is V82() ) holds
( dom (f + g) = (dom f) /\ (dom g) & dom (f - g) = (dom f) /\ (dom g) )