Antitransitive relation