Definition:Right-Euclidean Relation