Space Suggestion: Right ray topologies on omega_1

[prabau]

Space Suggestion

Right now, we only have one non-T1 space of cardinality $\aleph_1$, namely S217 (left ray topology on $\omega_1$).
https://topology.pi-base.org/spaces?q=Cardinality+%24%3D%5Caleph_1%24%2B%7Et1

It would be interesting to add two spaces:

• Right "closed ray" topology on $\omega_1$
• Right "open ray" topology on $\omega_1$

Rationale

They are interesting to contrast the two constructions, as the first one is Toronto and Alexandrov, and the second one is neither.

[felixpernegger]

good to add