Probability_measure

Definition

Let a measure $\mu$ on $X$ be a map. Then, a probability measure is a measure with $\mu\left. (\varnothing) \right. = 0$ and $\mu\left. (X) \right. = 1$.