theorem Th10: :: CARD_LAR:10

for A being limit_ordinal infinite Ordinal holds
( [#] A is closed & [#] A is unbounded ) by ORDINAL2:18;