Skip to content

Commit

Permalink
tweak S199 S200 definitions
Browse files Browse the repository at this point in the history
  • Loading branch information
StevenClontz authored Oct 9, 2024
1 parent 3d96f88 commit 0a37009
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 5 deletions.
5 changes: 2 additions & 3 deletions spaces/S000199/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,5 @@ uid: S000199
name: Left ray topology on $\omega$
---

$\omega$ with the topology given by basic open sets of the form
$(\leftarrow,n)$ for each $n<\omega$. (Equivalently, $\omega$ with
the topology $\omega+1$.)
$\omega$ with the topology of left rays
$$\{\omega\}\cup\{(\leftarrow,n):n<\omega\}.$$
4 changes: 2 additions & 2 deletions spaces/S000200/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,5 +3,5 @@ uid: S000200
name: Right ray topology on $\omega$
---

$\omega$ with the topology given by basic open sets of the form
$[n,\rightarrow)$ for each $n<\omega$.
$\omega$ with the topology of right rays
$$\{\emptyset\}\cup\{[n,\rightarrow):n<\omega\}.$$

0 comments on commit 0a37009

Please sign in to comment.