for X being non empty set
for EqR being Equivalence_Relation of X
for x, y, z being set st z in Class (EqR,x) & z in Class (EqR,y) holds
Class (EqR,x) = Class (EqR,y)