Let and be measurable spaces. A function is measurable if for all .

In the case (Borel Sigma Algebra) we simply call measurable on .

Borel Function