Definition:Closed Subset of Real Euclidean Space