Definition:Real Euclidean Space