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

source

jl@crush.caltech.edu index

cumulative_distribution_function

representation_theorem

certainty_equivalent

monotone_continuity

topology

concave