for X being set st ( for a being object st a in X holds
a is Ordinal ) holds
( union X is epsilon-transitive & union X is epsilon-connected )