Properties of a Reflexive Relation
- Empty relation on a non-empty relation set is never reflexive.
- Relation defined on an empty set is always reflexive.
- Universal relation defined on any set is always reflexive.
Reflexive Relation on 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“.