Denoting a relation that never holds between a term and itself.
- ‘A strict order is one that is irreflexive and transitive; such an order is also trivially antisymmetric.’
- ‘A relation on a set is irreflexive provided that no element is related to itself.’
- ‘Since this cannot be true, the statement x not-R x must be true; therefore R is irreflexive.’
- ‘G is an irreflexive, asymmetric and transitive relation.’
- ‘But it is not irreflexive either, since 1 is related to itself.’
We take a look at several popular, though confusing, punctuation marks.