quasitransitive relation

type of binary relation