Irreflexive kernel