theorem Th49: :: ORDINAL5:49

for X being non empty set st ( for x being object st x in X holds
( x is epsilon Ordinal & ex e being epsilon Ordinal st
( x in e & e in X ) ) ) holds
union X is epsilon Ordinal