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