Countable family of distinct infinite cardinalities with a largest member

ID: countable-family-of-distinct-infinite-cardinalities-with-a-largest-member

Pairwise distinct cardinalities do not prevent a countable family from having a largest member. For example, take and for , viewing cardinals as initial ordinals. Every later set is a subset of , so
although all the cardinalities are different.

New to topics? Read the docs here!