En Irrefleksivitet

En relasjon S er irrefleksiv dersom ingen objekter i en mengde er relatert til seg selv.

Eksempler på irrefleksive relasjoner:

• Ekte større (<) på tall
• Er ikke lik (≠) på tall