theorem Th33: :: EQREL_1:33

for X being set
for EqR being Equivalence_Relation of X holds Class EqR is a_partition of X