Definition:Compact (Euclidean Space)