Reflexive closure
In mathematics, the reflexive closure of a binary relation on a set is the smallest reflexive relation on that contains A relation is called reflexive if it relates every element of to itself.
For example, if is a set of distinct numbers and means " is less than ", then the reflexive closure of is the relation " is less than or equal to ".
Definition
The reflexive closure of a relation on a set is given by
In plain English, the reflexive closure of is the union of with the identity relation on
Example
As an example, if then the relation is already reflexive by itself, so it does not differ from its reflexive closure.
However, if any of the pairs in was absent, it would be inserted for the reflexive closure. For example, if on the same set then the reflexive closure is
See also
- Symmetric closure – operation on binary relationsPages displaying wikidata descriptions as a fallback
- Transitive closure – Smallest transitive relation containing a given binary relation
References
- Franz Baader and Tobias Nipkow, Term Rewriting and All That, Cambridge University Press, 1998, p. 8
- v
- t
- e
- Binary relation
- Boolean algebra
- Cyclic order
- Lattice
- Partial order
- Preorder
- Total order
- Weak ordering
- Antisymmetric
- Asymmetric
- Boolean algebra
- Completeness
- Connected
- Covering
- Dense
- Directed
- (Partial) Equivalence
- Foundational
- Heyting algebra
- Homogeneous
- Idempotent
- Lattice
- Reflexive
- Partial order
- Prefix order
- Preorder
- Semilattice
- Semiorder
- Symmetric
- Total
- Tolerance
- Transitive
- Well-founded
- Well-quasi-ordering (Better)
- (Pre) Well-order
- Alexandrov topology & Specialization preorder
- Ordered topological vector space
- Normal cone
- Order topology
- Order topology
- Topological vector lattice
- Antichain
- Cofinal
- Cofinality
- Comparability
- Duality
- Filter
- Hasse diagram
- Ideal
- Net
- Subnet
- Order morphism
- Order type
- Ordered field
- Ordered vector space
- Partially ordered group
- Upper set
- Young's lattice
This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e