Probability Mass Function
Probability mass functions are used to define the distributions of discrete random variables with discrete and finite (or least countable) outcome set .
Statements
Definition. Let be a probability space. A random variable is said to be discrete, if its outcome space contains countably many elements . The probability mass function (PMF) of a discrete random variable is denoted by and is defined as