Mengen/Beschreibungsmöglichkeiten/Einführung/Textabschnitt
Es gibt mehrere Möglichkeiten, eine Menge anzugeben. Die einfachste ist, die zu der Menge gehörenden Elemente aufzulisten, wobei es auf die Reihenfolge der Elemente nicht ankommt. Bei endlichen Mengen ist dies unproblematisch, bei unendlichen Mengen muss man ein „Bildungsgesetz“ für die Elemente angeben.
Die wichtigste Menge, die man zumeist als eine fortgesetzte Auflistung einführt, ist die Menge der natürlichen Zahlen
Hier wird eine bestimmte Zahlenmenge durch die Anfangsglieder von erlaubten Zifferfolgen angedeutet. Wichtig ist, dass mit nicht eine Menge von bestimmten Ziffern gemeint ist, sondern die durch die Ziffern repräsentierten Zahlwerte. Eine natürliche Zahl hat viele Darstellungsarten, die Ziffernrepräsentation im Zehnersystem ist nur eine davon, wenn auch eine besonders übersichtliche.
Wir besprechen die Mengenbeschreibung durch eine Eigenschaft. Es sei eine Menge und eine gewisse Eigenschaft (Prädikat) gegeben, die die Elemente von erfüllen oder aber nicht. Zu einer Eigenschaft gehört innerhalb von die Teilmenge bestehend aus allen Elementen aus , die diese Eigenschaft erfüllen. Man beschreibt eine durch eine Eigenschaft definierte Teilmenge meist als
Dies geht natürlich nur mit solchen Eigenschaften, für die die Aussage eine wohldefinierte Bedeutung hat. Dieser Konstruktion entspricht in der Alltagssprache eine Formulierung mit einem Relativsatz, im Sinne von diejenigen Objekte, auf die die Eigenschaft zutrifft. Wenn man eine solche Teilmenge einführt, so gibt man ihr häufig sofort einen Namen (in dem auf die Eigenschaft Bezug genommen werden kann, aber nicht muss). Z.B. kann man die Mengen
einführen. Für die Mengen in der Mathematik sind meist eine Vielzahl an mathematischen Eigenschaften relevant und daher gibt es meist auch eine Vielzahl an relevanten Teilmengen. Aber auch bei alltäglichen Mengen, wie etwa die Menge der Studierenden in einem Kurs, gibt es viele wichtige Eigenschaften, die gewisse Teilmengen festlegen, wie etwa
Die Menge ist dabei selbst durch eine Eigenschaft festgelegt, es ist ja