Countable_extent_definition_fix.

pi-base · Oct 17, 2024 · c88b08a · c88b08a
1 parent 72518e9
commit c88b08a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/properties/P000198.md b/properties/P000198.md
@@ -3,4 +3,4 @@ uid: P000198
 name: Countable extent
 ---
 
-A space in which every uncountable subspace has a limit point.
+A space $X$ in which every uncountable subset has a limit point in $X$.
diff --git a/theorems/T000562.md b/theorems/T000562.md
@@ -1,9 +1,9 @@
 ---
 uid: T000562
 if:
- P000198: true
-then:
  P000197: true
+then:
+ P000198: true
 ---
 
 Follows as every uncountable subspace has a point that isn't isolated.