Definition:Rational Euclidean Space