N/Beschreibbare Teilmengen/Mengenalgebra/Nicht Sigmaalgebra/Aufgabe

Es sei ${}{\mathcal {A}}$ das Mengensystem auf ${}\mathbb {N}$, das aus allen Teilmengen ${}T\subseteq \mathbb {N}$ besteht, die durch einen mathematischen Ausdruck beschreibbar sind. Zeige, dass ${}{\mathcal {A}}$ eine Mengenalgebra, aber keine ${}\sigma$-Algebra ist.

Eine Lösung erstellen