Factorization Lemma

Theorem
Let $X$ be a set.

Let $\struct {Y, \Sigma}$ be a measurable space.

Let $f: X \to Y$ be a mapping.