Mengenlehre
Mengen: Grossbuchstaben; A, B, C, ... Elemente: Kleinbuchstaben; a, b, c, ... $p \in A$ Negation: $p \not \in A$
Aufschreibart
Alle Elemente auflisten: $A = {a, b, c, x, y, z}$ $B = {1,2,3,4}$ $C={1,2,a,b,c}$
Eigenschaften festlegen: $B={n:n \in \mathbb{Z} \land n > 5 }$ B ist die Menge der Elemente n; wofür gilt, n ist eine ganze Zahl grösser als 5.
Extensionalitätaxiom
Zwei Mengen A und B enthalten selbe Elemente. $A=B$ Negation: $A \not = B$
Leere Mengen
Bezechnung: $\emptyset$ ${ }$
Elemente der betrachteten Menge => Universalmenge
Teilmengen
A & B sind zwei Mengen Wenn alle Elemente von A auch in Element B: $A \subseteq B$ Falls keine Teilmenge: $A \not \subseteq B$
Verneinung
Alle Elemente von A und B: $A \cup B$