 Finite probability distribution

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.