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