Support of a probability distribution (source code)

= Support of a probability distribution
{title2=$\operatorname{supp}\mu=\{x:\mu(U)>0\text{ for every open }U\ni x\}$}

For a <probability measure> on a <topological space>, its support consists of the points whose every open neighborhood has positive probability. For a continuous effort distribution supported on an interval, every open subinterval of that interval has positive probability.