Order of a distribution (source code)

= Order of a distribution

The order of a distribution on a compact set is the least nonnegative integer $m$ for which its action is bounded by a constant times the sup norms of test-function derivatives through order $m$.