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.