Definition:Compact Subspace