Eigenschaften von Mengen

• A ist Teilmenge von B,          Notation A⊆B

  Definition ∀x : (x∈A)→(x∈B)

• A ist echte Teilmenge von B,          Notation A⊂B

  Definition A⊆B∧B $\not\subseteq$A

• A und B sind gleich,          Notation A = B

  Definition A⊆B∧B⊆A

Übungen:

• bestimme M = die Menge aller Teilmengen von {1, 2, 3}
• die Relation ⊆ auf M ist eine Halbordnung, aber keine Ordnung (= lineare Halbordnung)