Definition:

transitivity