Transitive property of equality

• For any quantities a, b, and c, if a = b and b = c, then a = c.

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.

See also: Substitution property of equality, Reflexive property of equality, Symmetric property of equality