Definition:Open Subset of Real Euclidean Space