Borel measurable function
= Borel measurable function
A function into a topological space is Borel measurable when the inverse image of every <Borel set> is measurable. Equivalently, it is measurable when the target carries its Borel sigma-algebra.