Vediamo come possiamo esprimere in simboli la nozione di insieme complementare di A rispetto ad U, dove abbiamo indicato:
con A un qualsiasi insieme non vuoto;
con U l’insieme ambiente o insieme universo.
La definizione in simboli l’abbiamo riportata nell’immagine in alto.
Essa sta ad indicare che:
l’insieme complementare di A rispetto ad U è l’insieme formato dagli elementi x tali che x appartiene ad U e x non appartiene ad A.