Irreflexive relation