成分の並べ替え

$\mu$ を局所有限なボレル測度、$S_1,S_2,\ldots$ をボレル集合（空集合も許す）とし、$m(\lambda)=\sum_n\mathbf{1}_{S_n}(\lambda)\in\{0,1,\ldots,\infty\}$、$E_k=\{\lambda:m(\lambda)\ge k\}$ とおく。このとき $E_1\supseteq E_2\supseteq\cdots$ はボレル集合で、$\lambda$ と両立するユニタリ作用素

が存在する。