Borel measure
Conversely, by the Riesz–Markov–Kakutani representation theorem, each "positive" linear form on formula_2 arises as integration with respect to a unique regular Borel measure.