Finite probability distribution (source code)

= Finite probability distribution
{title2=$p\geq0,\quad\sum_xp(x)=1$}

A <probability mass function> with finite positive-mass support, nonnegative masses and total mass one. Listing its support means listing exactly positive-mass outcomes once, excluding zero-<probability> endpoint outcomes. A computational interface returning floating-point masses generally approximates exact rational or real probabilities.