Update transitivity definition