Definition:Real Euclidean n-Space