transitivity function

Checking transitivity