In mathematics, the reflexive closure of a binary relation on a set is the smallest reflexive relation.

is less than or equal

Definition

with the identity relation

Example

is already reflexive by itself, so it does not differ from its reflexive closure.

See also

References

• Franz Baader and Tobias Nipkow, Term Rewriting and All That, Cambridge University Press, 1998, p. 8