Countable and Uncountable Sets

Notice that a bijection exists between two sets if and only if they have the same size. This allows us to reason about the sizes of infinite sets.

Consider $\mathbb{Z}^+ = \{1,2,\ldots\}$. We call a set countable if:

Otherwise, the set is uncountable.

Here are some examples.