Eine Menge ist eine Sammlung von klar definierten, unterscheidbaren Objekten, die als ihre Elemente bezeichnet werden. Diese Elemente können alles Mögliche sein, z. B. Zahlen, Buchstaben, Punkte im Raum, andere Mengen usw.

Definition

Eine Menge M ist eine Zusammenfassung unterschiedlicher Objekte x. Die Objekte heißen Elemente der Menge M. Eine Menge wird durch Aufzählung ihrer Elemente oder durch die Angabe einer Eigenschaft beschrieben:

  • M1={x1;...;xn} (Aufzählung der Elemente)
  • M2={x | E(x)} (Alle x, die Bedingung E(x) erfüllen)

Die Klammern {} heißen Mengenklammern. Das Semikolon trennt die Elemente innerhalb der Mengenklammern. Ist x Element der Menge M schreiben wir xM. Ist y kein Element der Menge M schreiben wir yM.

Leere Menge

Die Menge, die kein Element enthält heißt leere Menge. Wir schreiben .

Teilmenge

M1 und M2 seien Mengen. Gilt für alle xM1 auch xM2, dann ist M1 eine Teilmenge von M2 und wir schreiben M1M2. Existiert zusätzlich ein yM2 mit yM1, dann ist M1 eine echte Teilmenge von M2 und wir schreiben M1M2.

Mengenoperationen

M1, M2 seien Mengen. In den unteren Bildern ist M1 durch den linken Kreis und M2 durch den rechten Kreis veranschaulicht. Die Mengen können vereinigt, geschnitten oder subtrahiert werden.

Vereinigungsmenge

Die Menge V={x | xM1 oder xM2} heißt Vereinigungsmenge von M1 und M2. Wir schreiben V=M1M2 und sagen M1 vereinigt M2.

Schnittmenge

Die Menge S={x | xM1 und xM2} heißt Schnittmenge von M1 und M2. Wir schreiben S=M1M2 und sagen M1 geschnitten M2.

Differenzmenge

Die Menge D={x | xM1 und xM2} heißt Differenzmenge von M1 und M2. Wir schreiben S=M1M2 und sagen M1 minus M2.