A function that gives the probability of a Discrete RV being exactly equal to some value.

Notation

This mapping is often not represented as a formula, but a table instead.

Axioms

Example

It can alternatively be expressed as: