Definition:Discrete Probability Distribution
From ProofWiki
A discrete probability distribution is a probability distribution of a discrete random variable.
A discrete probability distribution is a probability distribution of a discrete random variable.