theorem Th5: :: ORDINAL2:5

for A being Ordinal holds union A c= A