Talk:GO-Space Embeds Densely into Linearly Ordered Space

There occurs to me no way but the dirty one you already found. It would IMO be good to specify that $\subseteq$ on lower sets is a linear ordering &mdash; such is not entirely obvious (well, it is once it is stated) but tacitly used. --Lord_Farin (talk) 22:02, 20 February 2013 (UTC)


 * The dirt gets even dirtier when I think about a closed embedding, so I've been trying to keep that out of my mind. There, instead of sticking a point between such upper/lower pairs, we need to stick an open interval (a copy of $(0..1)$ should do, or perhaps just a copy of $\Q$ in case someone wants to avoid reals). --Dfeuer (talk) 22:30, 20 February 2013 (UTC)


 * I'm currently having enough trouble grasping what goes on at the moment, without replacing points with $\Q$s. --Lord_Farin (talk) 22:44, 20 February 2013 (UTC)