From 9caac1c499e7298c8302d2dd82daacd648a47618 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Wed, 21 Jan 2026 10:16:57 -0500
Subject: [PATCH] Typo fix.

---
 src/topology/main/regular.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/topology/main/regular.tex b/src/topology/main/regular.tex
index b82c68e..2459917 100644
--- a/src/topology/main/regular.tex
+++ b/src/topology/main/regular.tex
@@ -6,7 +6,7 @@
     Let $X$ be a topological space, then the following are equivalent:
     \begin{enumerate}
         \item For each $x \in X$ and $A \subset X$ closed with $x \not\in A$, there exists $U \in \cn(x)$ and $V \in \cn(A)$ such that $U \cap V = \emptyset$.
-        \item For each $x \in X$, the closed neighbourhoods of $x$ forms a fundamantal system of neighbourhoods at $x$.
+        \item For each $x \in X$, the closed neighbourhoods of $x$ forms a fundamental system of neighbourhoods at $x$.
     \end{enumerate}
     If $X$ is a T1 space such that the above holds, then $X$ is \textbf{regular}.
 \end{definition}