> 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

> 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.