A relation R on a set A is irreflexive if for each element x in A, x is not related to itself by R.

See also

• reflexive
• symmetric
• transitive