The reflexive closure of a binary Relation on a Set is the minimal Reflexive Relation on that contains . Thus for every element of and for distinct elements and , provided that .
See also Reflexive Reduction, Reflexive Relation, Relation, Transitive Closure