EntityQ5406124· pop 7· linked from 24 articleseuclidean relationSign in to saverelation ∼ such that, for every a, b, c, if a∼b and a∼c, then b∼cConnectionsbinary relationEntityreflexive relationEntitymathematicsEntityInternational Standard Book NumberEntitynatural numberEntitysetEntitydigital object identifierEntityElementsEntityJSTOREntityQ118398Entityequivalence relationEntityimageEntitytransitive relationEntityfirst-order logicEntitysymmetric relationEntityantisymmetric relationEntitytotal relationEntityRonald FaginEntityCategoriesEuclidProperties of binary relations