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 (<=).