Definizione Dicesi insieme di indici un insieme non vuoto K (finito o infinito). Una famiglia di insiemi dipendente dall'insieme di indici K, è univocamente determinata da una legge che associa ad ogni k di K, un insieme Ak. Tale ente è simboleggiato da
Ciò premesso, sussiste la seguente definizione: Definizione Chiamasi unione degli insiemi della famiglia {Ak}, l'insieme:
Definizione (Unione di due insiemi) Assegnati gli insiemi A e B, dicesiunione di A e B, l'insieme di tutti e soli gli elementi appartenenti ad A e B. L'operazione di unione è denotata con il simbolo U e si scrive:
Per quanto precede
Per rendere più concisa la scrittura, introduciamo il simbolo di disgiunzione logica inclusiva
Ne consegue
Esempio
Definizione (Intersezione di due insiemi) Assegnati gli insiemi A e B, dicesiintersezione di A e B, l'insieme degli elementi comuni ad A e B. L'operazione di intersezione è denotata con il simbolo
e si scrive:
Per quanto precede
Per rendere più concisa la scrittura, introduciamo il simbolo di congiunzione logica