theorem Th18: :: CARD_LAR:18

for A being limit_ordinal infinite Ordinal
for X being Subset of A holds limpoints X is closed