Positive distribution (source code)

= Positive distribution

A real distribution $u$ is positive when $u[\phi]\geq0$ for every nonnegative test function $\phi$. Every positive distribution has order zero and is represented locally by a positive measure.