law of transitivity | transitive property | transitivity

A relation R on a set S is transitive provided that for all x, y and z in S such that x R y and y R z, we also have x R z.

associative | commutative | relation