theorem :: CLASSES2:16

for m being Cardinal
for W being set st m in card (Tarski-Class W) holds
m in Tarski-Class W