nonreflexive relation
logic
Quick Summary
In logic, a relation is a set of ordered pairs, triples, or more. A relation can have properties like symmetry, transitivity, and reflexivity.1
- Symmetrical: If a relation holds between x and y, it also holds between y and x (e.g., "x is parallel to y").1
- Transitive: If a relation holds between x and y, and between y and z, it also holds between x and z (e.g., "x is greater than y").12
- Reflexive: A relation always holds between an object and itself (e.g., "x is at least as tall as y").1
A nonreflexive relation is one that is neither reflexive nor irreflexive. This means that for some objects, the relation holds between them and themselves, and for others, it does not. An example is "admires".3
Summary created from Britannica articles
using AI.
AI can make mistakes, so verify using Britannica articles.
4 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.
