  In this short note, we prove that the stochastic order of Radon probability
measures on any ordered topological space is antisymmetric. This has been known
before in various special cases. We give a simple and elementary proof of the
general result.
