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