If a→b and b→c, then a → c.

That is, if there is a binary relationship.

There must be a binary relationship.

If a counterexample is found, the transitivity is not satisfied.

Otherwise, transitivity is satisfied.