"=>" on X continuous * <=> forall x in X, {y in X:y>x} /\ {y in X: y
y => xn > y forall n large enough b. y>x => y > xn forall n large enough