Definizione
31
[1W1] Data \(I\) una famiglia non-vuota di indici e dati \(C_ i\) insiemi (uno per ogni \(i∈ I\)), definiamo l’intersezione
\[ ⋂_{i∈ I}C_ i \]
che è l’insieme che contiene gli elementi che appartengono a tutti gli insiemi \(C_ i\) (per tutti gli \(i∈ I\)).
Nel caso siano dati solo due insiemi \(C_ 1,C_ 2\), usa scrivere \(C_ 1∩ C_ 2\) per indicare l’intersezione, e si ha
\[ C_ 1∩ C_ 2 {\stackrel{.}{=}}\left\{ x ∈ C_ 1∪ C_ 2 : x∈ C_ 1 ∧ x∈ C_ 2 \right\} \quad ; \]