Cofinality of a linear order

ID: cofinality-of-a-linear-order

The cofinality of a linear order is the least cardinality of a cofinal subset. It is preserved by order isomorphisms. The order sum of copies of the rational order has cofinality , whereas appending one final rational block changes its cofinality to without changing its cardinality or the dense-linear-order axioms.

New to topics? Read the docs here!