Let $J$ be a D11: Set.
Let $\mathbb{C}$ be the D372: Set of complex numbers.
The complex cartesian product with respect to $J$ is the D11: Set \begin{equation} \mathbb{C}^J : = \prod_{j \in J} \mathbb{C} : = \{ z \mid z : J \to \mathbb{C} \} \end{equation}