Definition:Left-Euclidean Relation