theorem :: ORDINAL3:4

for A being Ordinal
for X being set st X c= A holds
union X is epsilon-transitive epsilon-connected set