In set theory, a binary relation can have, among other properties, reflexivity or irreflexivity.

• A reflexive relation R on set X is one where for all a in X, a is R-related to itself. In mathematical notation, this is:

$\backslash forall\; a\; \backslash in\; X,\backslash \; a\; R\; a$

• An irreflexive (or aliorelative) relation R is one where for all a in X, a is never R-related to itself. In mathematical notation, this is:

$\backslash forall\; a\; \backslash in\; X,\backslash \; \backslash lnot\; (a\; R\; a)$.

Note: A common misconception is that a relationship is always either reflexive or irreflexive. Irreflexivity is a stronger condition than failure of reflexivity, so a binary relation may be reflexive, irreflexive, or neither. The strict inequalities "less than" and "greater than" are irreflexive relations whereas the inequalities "less than or equal to" and "greater than or equal to" are reflexive. However, if we define a relation R on the integers such that a R b iff a = -b, then it is neither reflexive nor irreflexive, because 0 is related to itself.

Properties containing the reflexive property

---

Preorder - A reflexive relation that is also transitive. Varieties of preorders such as partial orders and equivalence relations are, therefore, also reflexive.

Examples

---

Examples of reflexive relations include:

• "is equal to" (equality)
• "is a subset of" (set inclusion)
• "divides" (divisibility)
• "is greater/less than or equal to":

  Examples of irreflexive relations include:

  • "is greater than":

    Set theory | Logic

    Reflexive Relation | Relación reflexiva | 반사관계 | Reflexív reláció]] Relazione riflessiva | רפלקסיביות | Relacja zwrotna | Рефлексивність | 自反关系