From 514afcb21fdfccf5ec4d22db4f407826768a36f1 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Fri, 23 Jan 2026 17:39:40 -0500
Subject: [PATCH] Removed typo

---
 src/topology/functions/set-systems.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/topology/functions/set-systems.tex b/src/topology/functions/set-systems.tex
index f3eb6c9..00c8644 100644
--- a/src/topology/functions/set-systems.tex
+++ b/src/topology/functions/set-systems.tex
@@ -106,7 +106,7 @@
 \begin{proof}
     (2) $=$ (3): Let $F \subset X$ finite and $U$ be an entourage, $f \in X^T$, then
     \[
-    E(F, U)(f) = \bigcap_{x \in F}\pi_x^{-1}U(f(x))
+    E(F, U)(f) = \bigcap_{x \in F}\pi_x^{-1}(U(f(x)))
     \]
     which is open in the product topology. The converse is given by \ref{definition:set-uniform}.
 \end{proof}