Probability distribution

Given some domain a probability distribution on is a function such that