theorem :: CLASSES2:18

for m being Cardinal
for W being set st m in Tarski-Class W holds
m c= Tarski-Class W by Th5;