Probability distribution function

Depending upon which text is consulted, a probability distribution function is any of: The similar term probability function may mean any of the above and, in addition,
 * a probability distribution function,
 * a cumulative distribution function,
 * a probability mass function, or
 * a probability density function.
 * a probability measure function, as in a probability space, where the domain of the function is the set of events.