Feeds:
Posts

Some countability proofs

Theorem: The set of finite sequences of elements of a countable set $S$ is countable.

I like this result because it specializes to several other basic countability results: for example, it implies that countable unions, finite products, and the set of finite subsets of countable sets are countable. I know several proofs of this result and I am honestly curious which ones people prefer.