) se définit comme l'ensemble contenant les éléments se trouvant dans A ou dans B. On a alors 
où le symbole 
désigne l'intersection.
L'ensemble C, défini comme l'union de A et B () se définit comme l'ensemble contenant les éléments se trouvant dans A ou dans B. On a alors où le symbole désigne l'intersection.