Mengen/Einführung/Textabschnitt

Eine Menge ist eine Ansammlung von wohlunterschiedenen Objekten, die die Elemente der Menge heißen. Mit „wohlunterschieden“ meint man, dass es klar ist, welche Objekte als gleich und welche als verschieden angesehen werden. Die Zugehörigkeit eines Elementes ${}x$ zu einer Menge ${}M$ wird durch

${}x\in M\,$

ausgedrückt, die Nichtzugehörigkeit durch

${}x\notin M\,.$

Für jedes Element(symbol) gilt stets genau eine dieser zwei Möglichkeiten.

Für Mengen gilt das Extensionalitätsprinzip, d.h. eine Menge ist durch die in ihr enthaltenen Elemente eindeutig bestimmt, darüber hinaus bietet sie keine Information. Insbesondere stimmen zwei Mengen überein, wenn beide die gleichen Elemente enthalten.

Die Menge, die kein Element besitzt, heißt leere Menge und wird mit

$\emptyset$

bezeichnet.

Eine Menge ${}N$ heißt Teilmenge einer Menge ${}M$, wenn jedes Element aus ${}N$ auch zu ${}M$ gehört. Man schreibt dafür

${}N\subseteq M\,$

(manche schreiben dafür ${}N\subset M$). Man sagt dafür auch, dass eine Inklusion ${}N\subseteq M$ vorliegt. Im Nachweis, dass ${}N\subseteq M$ ist, muss man zeigen, dass für ein beliebiges Element ${}x\in N$ ebenfalls die Beziehung ${}x\in M$ gilt. Dabei darf man lediglich die Eigenschaft ${}x\in N$ verwenden.

Aufgrund des Extensionalitätsprinzips hat man das folgende wichtige Gleichheitsprinzip für Mengen, dass

$M=N{\text{ genau dann, wenn }}N\subseteq M{\text{ und }}M\subseteq N$

gilt. In der mathematischen Praxis bedeutet dies, dass man die Gleichheit von zwei Mengen dadurch nachweist, dass man (in zwei voneinander unabhängigen Teilargumentationen) die beiden Inklusionen zeigt. Dies hat auch den kognitiven Vorteil, dass das Denken eine Zielrichtung bekommt, dass klar die Voraussetzung, die man verwenden darf, von der gewünschten Schlussfolgerung, die man aufzeigen muss, getrennt wird. Hier spiegelt sich das aussagenlogische Prinzip wieder, dass die Äquivalenz von zwei Aussagen die wechselseitige Implikation bedeutet, und durch den Beweis der beiden einzelnen Implikationen bewiesen wird.