> The Cartesian product of nonempty sets is nonempty.

I think you want: the Cartesian product of an infinite number of (potentially infinite) non-empty sets is non-empty.