Distribution function (measure theory)

In measure theory and probability, a distribution function (sometimes called a cumulative distribution function, or CDF) is a function that describes the probability distribution of a random variable.