Transitive Relation

A relation R over a set X is transitive if for all elements x, y, z in X, whenever R relates x to y and y to z, then R also relates x to z.

∀x,y,z∈X,ifxRyandyRz,thenxRz

Tao’s definition:

Given any three objects x, y, and z of the same type, if x=y and y=z, then x=z.

See also:

• Symmetric Relation

• Reflexive Relation