Distribution of unbounded order (source code)

= Distribution of unbounded order

= Distributions of unbounded order
{synonym}

A <distribution> can have finite <order of a distribution> on every <compact set> without having one order bound valid on the whole domain. For example, the locally finite sum $\sum_{j\geq1}\partial^j\delta_j$ on the real line has orders growing without bound near the integers.