 Probability space

A probability space is a measure space whose total measure is one. Its measurable subsets are events, and its measure $\mathbb{P}$ is their probability.