for x being set st x is ordinal holds
( union x is epsilon-transitive & union x is epsilon-connected )