Transitive: Property of relations: A - binary - relation R is said to be transitive if for all things x, y and z, if x is related by R to y and y is related by R to z, then x is related by R to z.

Typical examples of transitive relations are identity (=), smaller (<), smaller or equal (<=).