Characterize subspaces, prove metric topologies are Hausdorff