for X being set st ( for x being set st x in X holds
( x is Ordinal & x c= X ) ) holds
( X is epsilon-transitive & X is epsilon-connected )