 Suppose formula_22 is a measure space.Let, for every measurable subset formula_23 in formula_2, 
be the operator of multiplication by the indicator function formula_26 on "L"2("X").Then formula_4 is a projection-valued measure.