(i) | $\bigcup_{j \in J} X_j$ is the D77: Set union of $X = \{ X_j \}_{j \in J}$ |

**cartesian product**of $X = \{ X_j \}_{j \in J}$ is the D11: Set \begin{equation} \prod_{j \in J} X_j : = \left\{ x : J \to \bigcup_{j \in J} X_j \mid \forall \, j \in J : x_j \in X_j \right\} \end{equation}