The reflexive reduction of a binary Relation on a Set is the minimum relation on with the same Reflexive Closure as . Thus for any elements and of , provided that and are distinct and .