Borel function

Borel space

Borel subset

Borel σ-algebra

Fσ set

Gδ set

Limit of Measurable Functions is Measurable

Measurability Criterion for Topological Codomain

Supremum & Infimum Preserve Measurability

σ-algebra containing all Borel subsets