Es seien T , S ⊆ N {\displaystyle {}T,S\subseteq \mathbb {N} } entscheidbare Mengen. Zeige, dass dann auch die Vereinigung T ∪ S {\displaystyle {}T\cup S} , der Durchschnitt T ∩ S {\displaystyle {}T\cap S} und auch das Komplement N ∖ T {\displaystyle {}\mathbb {N} \setminus T} entscheidbar sind.