  We prove in an elementary fashion that the image of a commutative monotone
$\sigma$-complete $C^*$-algebra under a $\sigma$-normal morphism is again
monotone $\sigma$-complete and give an application of this result in spectral
theory.
