Definition:Compact Subset of Real Euclidean Space