theorem :: TMAP_1:109

for X being non empty TopSpace
for X0 being non empty SubSpace of X holds (modid (X,X0)) | X0 is continuous Function of X0,(X modified_with_respect_to X0)