Define topological manifold, prove an inclusion from a subspace to its superspace is continuous