곱집합
Proposition: The Cartesian product of two countable sets and is countable.