Probability distribution/Definition

Function of a discrete random variable yielding the probability that the variable will have a given value.