theorem :: CLASSES2:45

for W being set st W is epsilon-transitive holds
Rank (card (Tarski-Class W)) = Tarski-Class W