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