An increasing chain of countable sets has union of cardinality at most . If the union is uncountable, select of its points and one containing member for each. Every countable member misses one selected point, so linear comparison puts it below that point's chosen member. The chosen subfamily is cofinal, and its union has size at most by infinite cardinal arithmetic.
Articles by others on the same topic
There are currently no matching articles.