ボレル測度
The "weighted average" statement can be characterized thus: there is a non-negative finite Borel measure on with cumulative distribution function such that