Non-degenerate probability distribution (source code)

= Non-degenerate probability distribution

A <probability distribution> is <non-degenerate probability distribution>[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>.