for X being set st X is epsilon-transitive holds
Tarski-Class X is universal by CLASSES1:23;