From fe867e4aed40926c92aaa870964f70dc269cab0d Mon Sep 17 00:00:00 2001
From: Moniker1998 <88507423+Moniker1998@users.noreply.github.com>
Date: Tue, 28 Jan 2025 19:15:38 +0100
Subject: [PATCH] Update theorems/T000698.md

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>
---
 theorems/T000698.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/theorems/T000698.md b/theorems/T000698.md
index 40b02bfe0..d0563175f 100644
--- a/theorems/T000698.md
+++ b/theorems/T000698.md
@@ -12,4 +12,6 @@ refs:
     name: Answer to "Connected, locally compact, paracompact Hausdorff space is exhaustible by compacts"
 ---
 
-In {{mathse:5028016}} it was shown that a {P36} locally Lindelöf {P105} space is {P18}, and {P23} implies locally Lindelöf.
+Call a space *weakly locally Lindelöf* if every point has a neighborhood that is Lindelöf.
+
+In {{mathse:5028016}} it is shown that a {P36} weakly locally Lindelöf {P105} space is {P18}, and {P23} implies weakly locally Lindelöf.