"=>" on X continuous 
 * <=> forall x in X, {y in X:y>x} /\ {y in X: y<x} are both open.
 * an infinite sequence of points xn in X tending to x satisfies
     a. x>y => xn > y forall n large enough
     b. y>x => y > xn forall n large enough