theorem :: EQREL_1:64

for X being non empty set
for E being Equivalence_Relation of X holds not Class E is empty ;