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 .