Dato un insieme di oggetti R, S è un sottoinsieme di R se tutti i suoi elementi appartengono anche ad R (in alto a sinistra). L’unione di due insiemi A e B (in alto a destra) è l’insieme di tutti gli elementi di A e di B. L’intersezione tra A e B (in basso a sinistra) è l’insieme dei loro elementi comuni. La differenza di A e B (in basso a destra) è l'insieme degli elementi che appartengono ad A ma non a B: spesso si indica anche col simbolo A/B.