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!