Definizione
42
[23S]Altri operatori fra insiemi sono:
la differenza
\[ A⧵ B {\stackrel{.}{=}}\{ x∈ A : x∉ B\} \quad ; \]se l’insieme \(A\) è chiaramente specificato dal contesto, e se \(B⊆ A\) usa anche scrivere \(B^ c{\stackrel{.}{=}}A⧵ B\); si dice che \(B^ c\) è il complementare di \(B\) in \(A\);
la differenza simmetrica
\[ AΔ B {\stackrel{.}{=}}(A∪ B)⧵ (A∩ B)= (A⧵ B)∪(B⧵ A)= \{ x∈ A∪ B : x∈ A\iff x∉ B\} \quad ; \]