Eine Menge ist eine Idee aus der Mathematik. Eine Menge hat Mitglieder (auch Elemente genannt). Eine Menge wird durch ihre Mitglieder festgelegt. Sie ist die einzige Menge, die die gleichen Mitglieder hat (wenn Menge X und Menge Y die gleichen Mitglieder haben, dann ist X = Y). Eine Menge kann dasselbe Mitglied nicht mehr als einmal haben. Die Mitgliedschaft ist das Einzige, was etwas bedeutet. Beispielsweise gibt es keine Ordnung oder sonstige Unterscheidung zwischen den Mitgliedern. Eine besondere Menge ist die "leere Menge" (auch Nullmenge genannt). Die leere Menge hat keine Mitglieder. Alles kann Mitglied einer Menge sein. Eine Menge kann ein Mitglied einer Menge sein. (Wenn eine Menge ein Mitglied ihrer selbst ist, ist das Russell-Paradoxon zu beachten).