Compactness Is Preserved by the Subspace Topology