Increasing chain of countable sets

ID: increasing-chain-of-countable-sets

A family of countable sets indexed by a linear order is increasing if implies . Its union has cardinality at most , by the cardinal bound for an increasing chain of countable sets. The index order need not be a well-order.

New to topics? Read the docs here!