Operazioni tra Insiemi — ingegnerismo.it

Le operazioni tra insiemi permettono di costruire nuovi insiemi a partire da quelli esistenti, seguendo le regole dell’algebra di Boole applicata alle collezioni di oggetti.

Principali Operazioni

Dati due insiemi $A$ e $B$ appartenenti a un insieme universo $\Omega$ :

Unione ( $A \cup B$ ): L’insieme degli elementi che appartengono ad $A$ o a $B$ (o a entrambi). $A \cup B = \{x \in \Omega \mid x \in A \lor x \in B\}$
Intersezione ( $A \cap B$ ): L’insieme degli elementi che appartengono contemporaneamente sia ad $A$ sia a $B$ . $A \cap B = \{x \in \Omega \mid x \in A \land x \in B\}$
Differenza ( $A \setminus B$ ): L’insieme degli elementi che appartengono ad $A$ ma non a $B$ . $A \setminus B = \{x \in \Omega \mid x \in A \land x \notin B\}$
Complementare ( $A^c$ o $\bar{A}$ ): L’insieme degli elementi dell’universo $\Omega$ che non appartengono ad $A$ . $A^c = \Omega \setminus A = \{x \in \Omega \mid x \notin A\}$
Differenza Simmetrica ( $A \Delta B$ ): L’insieme degli elementi che appartengono ad $A$ o a $B$ , ma non alla loro intersezione. Equivale all’operazione logica XOR.

Proprietà

Le operazioni godono di proprietà commutativa, associativa e distributiva (l’unione distribuisce rispetto all’intersezione e viceversa). Fondamentali sono anche le Leggi di De Morgan.

Significato Ingegneristico

Ricerca e Database: In SQL, UNION e INTERSECT implementano direttamente queste operazioni. La clausola WHERE con AND e OR agisce come un’intersezione o unione di filtri su record.
Computer Graphics: Nelle operazioni booleane tra solidi (CSG - Constructive Solid Geometry), l’unione e l’intersezione di primitive geometriche (cubi, sfere) permettono di modellare oggetti complessi 3D.
Teoria dei Circuiti: Le porte logiche OR e AND sono la trasposizione elettronica delle operazioni di unione e intersezione applicate a segnali digitali.

Vedi anche: Teoria degli Insiemi, Leggi di De Morgan.