for X being set
for EqR1 being Equivalence_Relation of X holds EqCl EqR1 = EqR1