diff --git a/00.md b/00.md
index 7fd0e8b..a6c293d 100644
--- a/00.md
+++ b/00.md
@@ -114,7 +114,7 @@ Das geht mit nur Primitiver Rekursion (z.B. LOOP) **nicht**!
 
 # Entscheidungsprobleme
 
-$\exists A, \overline A \in U$ und $x \in U$ .
+$\exists A, \overline A \subseteq U$ und $x \in U$ .
 Frage: $x \in A$ ? (Wenn nicht, dann $x \in \overline A$ ).
 
 - Ist $n \in \mathbb N$ gerade? ( $\text{EVEN} \subseteq \mathbb N$ )