Talk:Topology/Order

(iii) seems to be wrong

Shouldn't it be: Exactly one of x<y; y<x; x=y is true?


 * Actually, $$<$$ isn't defined at that point. I am changing the definition (as further changes are needed anyway). --Jerome Baum (talk) 19:42, 25 November 2009 (UTC)