Definizione
40
[1Y2] Data \(I\) una famiglia non-vuota di indici e dati \(C_ i\) insiemi (uno per ogni \(i∈ I\)), allora l’unione
\[ ⋃_{i∈ I}C_ i \]
è un insieme, che contiene tutti (e soli) gli elementi di tutti gli insiemi \(C_ i\); in formula 1
\[ ⋃_{i∈ I}C_ i {\stackrel{.}{=}}\{ x : ∃ i∈ I, x∈ C_ i\} \quad . \]
Nel caso siano dati solo due insiemi \(C_ 1,C_ 2\), usa scrivere \(C_ 1∪ C_ 2\) per indicare l’unione; e similmente quando sono dati finiti insiemi.