probability mass function

For discrete distributions, the probability mass function is defined as

and it sums to one:

The partial sum of PMFs is the cumulative distribution function:

where