Definition talk:Order Topology/Definition 1

Yep. Brief. I intend on three definitions: this very brief one, something like the original one (possibly stripping out the $\Uparrow$ and $\Downarrow$ notation which is introduced here for no obvious reason), and one as the topology generated by the basis consisting of open rays and open intervals, which is the one Munkres uses and is the one that relates most directly to the usual order-based definition of the usual topology on the reals. --Dfeuer (talk) 20:10, 25 February 2013 (UTC)


 * Please do away with the arrows indeed; I introduced them for no apparent reason. As an aside, weren't you refactoring order theory things? Things can get chaotic (at least for other users) if you hop around so often. &mdash; Lord_Farin (talk) 20:14, 25 February 2013 (UTC)