 The binary relation "is approximately equal" between real numbers or other things, even if more precisely defined, is not transitive (it may seem so at first sight, but many small differences can add up to something big).However, equality almost everywhere "is" transitive.Viewed as a relation, equality is the archetype of the more general concept of an equivalence relation on a set