Definition:Antitransitive Relation