theorem Th18: :: ORDINAL2:18

for A being Ordinal holds sup A = A