Positive Part of Simple Function is Simple Function

Theorem
Let $\left({X, \Sigma}\right)$ be a measurable space.

Let $f: X \to \R$ be a simple function.

Then $f^+: X \to \R$, the positive part of $f$ is also a simple function.

Also see

 * Negative Part of Simple Function is Simple Function, a natural counterpart