Unter einer Menge verstehen wir jede Zusammenfassung von bestimmten, wohlunterschiedenen Objekten unserer Anschauung oder unseres Denkens (welche Elemente der Menge genannt werden) zu einem Ganzen.Mengen werden angegeben entweder durch Aufzählen ihrer Elemente:
(nach G. Cantor, 1895)
M1 = { a, b, c }dabei kommt es auf die Reihenfolge nicht an; oder durch Angabe einer Eigenschaft, die alle ihre Elemente und nur sie haben:
M2 = { alle 5DM-Stücke in meinem Portemonnaie }Die zuletzt genannten Mengen sind unendlich; wir setzen sie als bekannt voraus.
M3 = { alle geraden ganzen Zahlen }N = { alle natürlichen Zahlen }
Z = { alle ganzen Zahlen }
Q = { alle rationalen Zahlen }
R = { alle rellen Zahlen }
Wichtig ist noch die Menge der "Wahrheitswerte":
B = { FALSE, TRUE }Auch gegebene Mengen kann man wieder zu Mengen zusammenfassen; eine "Menge aller Mengen" gibt es allerdings nicht! Überhaupt muß man darauf achten, daß die Elemente einer neu gebildeten Menge bereits wohlbestimmt sind, sonst kann man in logische Widersprüche kommen.
Den aus der Mathematik bekannten Zahlenmengen entsprechen in den üblichen Programmiersprachen Datentypen; eigentlich sind das Klassen, weil es auf die definierten Operationen (Methoden) auch ankommt. Neben Grundtypen (auch "einfache Typen") gibt es auch abgeleitete Typen, die mittels bereits bekannter Typen aufgebaut werden.