Reflective shell
The reflexive envelope of a two-place relation on a set is the smallest reflexive relation on that contains.
Mathematical definition
The reflexive envelope of a two-place relation on a set is given by
wherein the diagonal on call.
example
The reflexive envelope of the <-relation on (more generally on an ordered set ) is the -relation.
See also
Individual evidence
- ↑ Werner Nehrlich: Discrete Mathematics. Basic knowledge for computer scientists. A Mathematica-based representation. Fachbuchverlag Leipzig in Carl Hanser Verlag, Munich / Vienna 2003, ISBN 3-446-22300-2 , p. 164.