Let $X_1, \ldots, X_N$ each be a D16: Countable set such that
(i) | $\prod_{n = 1}^N X_n$ is a D326: Cartesian product of $X_1, \ldots, X_N$ |
Then $\prod_{n = 1}^N X_n$ is a D16: Countable set.