theorem Th14: :: ORDINAL1:18

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