Properties of Irreflexive Relation
- Empty relation on any set is always irreflexive.
- Universal relation on any non-empty set is never irreflexive.
- An empty relation defined on any set is always irreflexive.
Irreflexive Relation on a Set
A relation is a subset of the cartesian product of a set with another set. A relation contains ordered pairs of elements of the set it is defined on. To learn more about relations refer to the article on “Relation and their types“.