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

mathematischer Hintergrund
Mengen
Definition (Aussonderung)
Ist A eine Menge und ϕ eine Eigenschaft, die Objekte haben können, so
bezeichnet
A(ϕ) := { x : x ∈ A ∧ ϕ(x) } ⊆ A
die Teilmenge aller Elemente aus A mit der Eigenschaft ϕ ; alternative
Schreibweise: A(ϕ) = { x ∈ A : ϕ(x) } . Daß es sich bei A(ϕ) wirklich um
eine Menge handelt, ist der Inhalt des Aussonderung-Axioms (engl.
comprehension).
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 180 / 191