 If π is a projection-valued measure on a measurable space ("X", "M"), then the map

extends to a linear map on the vector space of step functions on "X".In fact, it is easy to check that this map is a ring homomorphism.This map extends in a canonical way to all bounded complex-valued measurable functions on "X", and we have the following.