theorem Th126: :: TMAP_1:126

for X, Y being non empty TopSpace
for X1, X2 being non empty SubSpace of X
for g being Function of (X1 union X2),Y holds g = (g | X1) union (g | X2)