From 2b2e37e1dc6d74433ef7d455a21f043df8201c3a Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 18 Jun 2024 17:05:44 +0200
Subject: Update topological-space.tex

---
 library/topology/topological-space.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/topology/topological-space.tex')

diff --git a/library/topology/topological-space.tex b/library/topology/topological-space.tex
index 2bbdf09..55bc253 100644
--- a/library/topology/topological-space.tex
+++ b/library/topology/topological-space.tex
@@ -262,5 +262,5 @@
 \end{proof}
 
 \begin{definition}\label{neighbourhoods}
-    $\neighbourhoods{x}{X} = \{U\in\opens[X] \mid x\in U\}$.
+    $\neighbourhoods{x}{X} = \{N\in\pow{\carrier[X]} \mid \exists U\in\opens[X]. x\in U\subseteq N\}$.
 \end{definition}
-- 
cgit v1.2.3

