theorem Th10: :: FUNCT_4:10

for f, g being Function holds
( dom f c= dom (f +* g) & dom g c= dom (f +* g) )