"=>" 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
  1. x>y => xn > y forall n large enough
  2. y>x => y > xn forall n large enough