> [!definition] > > Let $X$ be a discrete [[Random Variable|random variable]], then its **probability mass function** $p_X: \real \to [0, 1]$ is defined by > $ > p_X(x) = P(X = x) > $