theorem Th5: :: ORDINAL3:5

for X being set holds union (On X) is epsilon-transitive epsilon-connected set