Probability measure

See measure#Probability measure