Text this: Topological Riesz spaces and measure theory