diff --git a/spaces/S000195/README.md b/spaces/S000195/README.md index 59a25742a9..4043cf15fa 100644 --- a/spaces/S000195/README.md +++ b/spaces/S000195/README.md @@ -8,6 +8,4 @@ refs: name: Answer to "Is there a first countable, $T_1$, weakly Lindelof, sequentially compact space which is not also compact?" --- -The set $\omega_1$ whose topology is generated by sets of -the form $\alpha\setminus F=[0,\alpha)\setminus F$ for -$\alpha<\omega_1$ and $F\subseteq\omega_1$ finite. +The set $\omega_1$ with topology equal to the join of the cofinite topology and left ray topology in the [lattice of topologies](https://en.wikipedia.org/wiki/Lattice_of_topologies) on $\omega_1$. This topology is generated by the sets of the form $\alpha\setminus F=[0,\alpha)\setminus F$ for $\alpha<\omega_1$ and $F\subseteq\omega_1$ finite.