Theorem 1.8: The Cartesian product of two sets is a set.

Proof: