Non-degenerate probability distribution (source code)

= Non-degenerate probability distribution

A <probability distribution> is non-degenerate when it is not a point mass. This condition excludes constant limits in limit theorems and in the <maximum domain of attraction> of a <distribution function>.