Discrete random variable (source code)

= Discrete random variable

A <random variable> supported on a finite or countable subset of the real line. Its law is specified by a <probability mass function>. Countable support need not consist of integers: a variable constantly equal to $3/2$ is discrete. Integer-indexed <tail-sum formulas> therefore require a separate integer-valued hypothesis.