for X being set st X is epsilon-transitive holds
Tarski-Class X is epsilon-transitive