For example, if X is a set of distinct numbers and x R y means "x is less than y", then the reflexive closure of R is the relation "x is less than or equal to y".
The reflexive closure S of a relation R on a set X is given by
In words, the reflexive closure of R is the union of R with the identity relation on X.
|This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it.|