Cartesian product
Theorem: The Cartesian product of finitely many countable sets is countable.