どのような非負の可測関数formula_4であっても、単調増加な非負の単関数の列の各点収束の極限として与えられる。