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