Definition:Compact Topological Subspace