probability distribution function
or
probability function,
n.
a function that constitutes a
probability measure
.
