Topology: subspace topology basics