## Sets

Let $\langle S _{i} | i \in I \rangle$ be an indexed system of sets; show that $\prod _{i \in I} S _{i}$ exists. [Hint: $\prod _{i \in I} S _{i} \subseteq P(I \times \bigcup _{i \in I} S _{i})$ ]