Piecewise Combination of Measurable Mappings is Measurable

Theorem
Let $\struct {X, \Sigma}$ and $\struct {X', \Sigma'}$ be measurable spaces.