Suppose (X,T1ā) and (Y,T2ā) are two Topological Spaces, and f:XāY is a function. Let B be the Borel Ļ-algebra associated with the Topology T1ā. If we have āBāB(Y):fā1(B)āB(X)or āOāT2ā:fā1(O)āB(T1ā) then we say that f is a Borel-measurable function or simply a Borel function.
Every Continuous (or piecewise continuous) function is automatically a Borel function.