theorem Th2: :: MESFUNC2:2

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