for X being set
for EqR being Equivalence_Relation of X st X = {} holds
Class EqR = {}