Aufgabe:
Sei X eine Menge und V eine mengenwertige Funktion mit X ⊂ Def(V ). Zu x ∈ X nennen wir
V (x) die Menge der ”Vorgänger“ von x.
Eine Menge heißt induktiv, wenn sie jedes Element enthält, dessen Vorgänger sie umfasst, d.h.
induktiv:={M ∈P(X):[∀x∈X :V(x)⊂M =⇒ x∈M]}
Zeigen Sie:
X ∈ induktiv.
