From 0a3700951dd034281bb8c9b0f5bd10d92f65842c Mon Sep 17 00:00:00 2001 From: Steven Clontz Date: Wed, 9 Oct 2024 14:36:25 -0500 Subject: [PATCH] tweak S199 S200 definitions --- spaces/S000199/README.md | 5 ++--- spaces/S000200/README.md | 4 ++-- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/spaces/S000199/README.md b/spaces/S000199/README.md index 7740eda1d..6da97c5ee 100644 --- a/spaces/S000199/README.md +++ b/spaces/S000199/README.md @@ -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\}.$$ diff --git a/spaces/S000200/README.md b/spaces/S000200/README.md index a350aeca4..eb1ab0284 100644 --- a/spaces/S000200/README.md +++ b/spaces/S000200/README.md @@ -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\}.$$