Probabilistic space

See measure#Probability measure.