disjoint union

Let \(X_i\) be sets for \(i \in I\), then the disjoint union is defined as

\begin{align*} \bigcup_{i \in I} X_i \times \{i\} \end{align*}