Handout - Institut für Theoretische Informatik - Technische ...

mathematischer Hintergrund
Mengen
Definition (Durchschnitt, Vereinigung)
Der Durchschnitt bzw. die Vereinigung zweier Mengen A und B sind
gegeben durch
A ∩ B := { x : x ∈ A ∧ x ∈ B }
A ∪ B := { x : x ∈ A ∨ x ∈ B }
Im Falle einer Teilmenge A ⊆ P(X ) erhalten wir
⋂
A := { x : ∀A ∈ A. x ∈ A } ⊆ X
⋃
A := { x : ∃A ∈ A. x ∈ A } ⊆ X
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 181 / 191