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