Definition:Antireflexive Relation/Also known as

From ProofWiki
Jump to navigation Jump to search

Antireflexive Relation: Also known as

Some sources use the term irreflexive for antireflexive.

However, as irreflexive is also found in other sources to mean non-reflexive, it is better to use the clumsier, but less ambiguous, antireflexive.

The term aliorelative can sometimes be found, but this is rare.