transitivity class