Eine Eigenschaft φ von Mengen hat endlichen Charakter, wenn eine Menge genau dann diese Eigenschaft besitzt, wenn jede endliche Teilmenge die Eigenschaft besitzt.
Sei X eine Menge, φ eine Eigenschaft von endlichem Charakter, und es gelte φ(∅).
Zeigen Sie, dass es eine Teilmenge A von X gibt, so dass φ(A) gilt, und für jede Menge B mit A ⊂ B ⊆ X gilt, dass φ(B) falsch ist.
