Dopo aver fissato il concetto di insieme e la sua rappresentazione con i diagrammi di Venn, introduciamo le quattro operazioni fondamentali — unione, intersezione, complementare e differenza — e le due leggi di De Morgan che le collegano. Chiude la sezione la differenza simmetrica, la versione insiemistica dell‘“aut” logico.