Ein Zusammenschluss verschiedener Objekte wird als Menge bezeichnet.
Die Menge, die alle möglichen Elemente enthält, wird als
Grundraum 
bezeichnet.
Dagegen heißt die Menge, die keine Elemente enthält,
leere Menge 
.

enthält alle Elemente von

, die nicht in

enthalten sind.
Die
Schnittmenge 
enthält alle Elemente, die in
und 
enthalten sind.
Die
Vereinigungsmenge 
enthält alle Elemente, die in
oder 
enthalten sind.
Die
Differenzmenge 
enthält alle Elemente, die in

,
aber nicht in

enthalten sind.
Venn-Diagramme eignen sich besonders gut zur Darstellung von Mengen.