topological_subspace