Aufgabe:
Es sei \( M:=\{A \subseteq \mathbb{N} \mid A \) oder \( \mathbb{N} \backslash A \) ist endlich \( \} \). Zeigen Sie:
(a) \( \emptyset \in M \) und \( \mathbb{N} \in M \),
(b) für \( A, B \in M \) gelten
(i) \( A \cap B \in M \),
(ii) \( A \cup B \in M \).
Problem/Ansatz:
… Wie genau geht man bei (a) fort?