theorem Th2: :: CARD_LAR:2

for A being limit_ordinal infinite Ordinal
for X being Subset of A holds X c= sup X by ORDINAL2:19;