 Borel functional calculus for a normal operator

For a normal operator $T$ with spectrum $K$, there is a contractive unital star-homomorphismwhere $L^{\infty }(K)$ denotes the bounded Borel functions. It is obtained by integrating against the projection-valued spectral measure of $T$.