In mathematics, Euclidean relations are a class of binary relations that formalize "Axiom 1" in Euclid's ''Elements'': "Magnitudes which are equal to the same are equal to each other."

Definition