irreflexive relation
logic
Quick Summary
In logic, an irreflexive relation is one where a property does not hold true for an element in relation to itself. This is the opposite of a reflexive relation, where a property always holds true for an element in relation to itself, such as "x is at least as tall as x".12
For example, the relation "is greater than" is irreflexive because no number is greater than itself. In contrast, "is identical to" is reflexive. An irreflexive relation is also always asymmetrical.13
Summary created from Britannica articles
using AI.
AI can make mistakes, so verify using Britannica articles.
5 Britannica Sources
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
