Relation antiréflexive
Relation dans un ensemble E telle qu'aucun élément de E n'est en relation avec lui-même.
Dans la représentation d'une relation antiréflexive, il n'y a aucune boucle.
Exemples
- La relation « ... est inférieur à ... » dans l'ensemble des nombres naturels est une relation antiréflexive. Si 6 < 7, alors 7 ne peut pas être inférieur à 6.
- La relation « ... est le fils de ... » dans un ensemble de personnes est une relation antiréflexive. Si Paul est le fils de Luc, alors Luc ne peut pas être le fils de Paul.