Euclidean space definition