Properties of Arbitrary Cartesian Products Let $X_\delta$ and $Y_\delta$ be index families of sets with the index set $\Delta$.
Show the following:
$$\begin{align}
\prod_{\delta \in \Delta} X_\delta \cup \prod_{\delta \in \Delta} Y_\delta \subseteq \prod_{\delta \in \Delta} X_\delta \cup Y_\delta & \tag{i}\\
\prod_{\delta \in \Delta} X_\delta \cap \prod_{\delta \in \Delta} Y_\delta = \prod_{\delta \in \Delta} X_\delta \cap Y_\delta &\tag{ii}
\end{align}$$
When working on this problem I arrived at a small issue.  For finite intersections and unions the proofs are straightforward.  However, when using arbitrary indices, how would my strategy change. I'm a bit gun shy about starting proofs for these because I'm starting to think that the arbitrary index changes everything.
 A: The strategy should be the same, and I can't think of a proof that would change depending on whether or not $\Delta$ is finite.
Just take an arbitrary element of the LHS and show that is also an element of the RHS (and the opposite, for the second one).
Also, the unions and intersections are always finite, it's the products that can be potentially infinite in this exercise.
A: This is really just about chasing after the definitions.
Recall that $f\in\prod_{\delta\in\Delta} X_\delta$ if $f$ is a function whose domain is $\Delta$ and for every $\delta$, $f(\delta)\in X_\delta$.
So suppose that $f\in\prod X_\delta\cup\prod Y_\delta$ then $f$ is a function whose domain is $\Delta$ and $f(\delta)$ is in $X_\delta$ for all $\delta$; or $f(\delta)\in Y_\delta$ for all $\delta$. In particular this means that $f(\delta)\in X_\delta\cup Y_\delta$ for all $\delta$, and so $f\in\prod(X_\delta\cup Y_\delta)$.
To see that equality may fail to holds, note that the union of the product does not contain "mixed" choice functions, that is functions that part of their images are elements from $X_\delta$ and part are from $Y_\delta$ and so if $X_\delta\cap Y_\delta=\varnothing$ equality might not hold.
The part about the intersection is very similar. One has to trace back what does it mean to be in the intersection, and what does it meant to be in the product of the intersections, but it's more or less as above.
