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