Complementare e Differenza

Dato un insieme universo U, sia A un suo sottoinsieme, si definisce complementare dell'insieme A rispetto all'insieme universo U l'insieme degli elementi di U e che non appartengono ad A, si scrive in simboli

C_UA = { x | x Î U  ^ x  ÏB } 

la situazione è rappresentata nella figura, C_UA è colorato con inchiostro rosso

Dati due insiemi A e B, si definisce differenza di due insiemi A e B, considerati nell’ordine, l’insieme, che indicheremo con A-B, costituito dagli elementi di A che non appartengono a B.

A-B = { x | x Î A  ^ x ÏB }

Utilizzando la rappresentazione di Eulero-Venn si ha la figura:

dove la differenza è indicata con i colori rosso/giallo.