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.