Definition:Irreflexive Relation/Also defined as

From ProofWiki
Jump to navigation Jump to search

Irreflexive Relation: Also defined as

Some sources define an irreflexive relation to be a relation which is not reflexive.

Hence, under such a definition, an antireflexive relation would also be classified as an irreflexive relation.

Because of such ambiguity of usage, the term irreflexive relation is deprecated on $\mathsf{Pr} \infty \mathsf{fWiki}$.


Sources