From 1325deace02de437960b89096137970b953de9bc Mon Sep 17 00:00:00 2001
From: mark <mark@noreply.localhost>
Date: Tue, 29 Jul 2025 19:16:45 +0200
Subject: [PATCH] whoops #1

---
 00.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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$ )