Let $X_1, \, \ldots, \, X_N$ each be a D17: Finite set.

Then \begin{equation} \left| \prod_{n = 1}^N X_n \right| = \prod_{n = 1}^N |X_n| \end{equation}