for X being non empty TopSpace
for X0 being non empty SubSpace of X holds incl X0 is continuous Function of X0,X ;