Probability spaces

The formal definition of probability in a set-based framework.