irreflexive relation

type of binary relation