Akademik

irreflexive
A relation is irreflexive if nothing bears it to itself: ¬(∃x )Rxx. Nothing is larger than itself, so ‘is larger than’ is an irreflexive relation.

Philosophy dictionary. . 2011.