Piecewise Combination of Measurable Mappings is Measurable

Theorem
Let $\left({X, \Sigma}\right)$ and $\left({X', \Sigma'}\right)$ be measurable spaces.