Definition
Normalisation Axiom
Let be a candidate probability mass function. The normalisation axiom requires
Thus the total probability mass distributed across all possible values is exactly one. Together with non-negativity, this is a defining axiom of a probability mass function.