theorem :: TMAP_1:105

for X being non empty TopSpace
for X0 being non empty SubSpace of X holds modid (X,X0) = id X