theorem Th47: :: CLASSES1:47

for X being set st X is epsilon-transitive holds
ex A being Ordinal st Tarski-Class X c= Rank A