Limit of Measurable Functions is Measurable

Measurability Criterion for Topological Codomain

Supremum & Infimum Preserve Measurability