Relation Antitransitive therefore Antireflexive