Irreflexive relation

Summary