Definition:Open Set of Real Euclidean Space