Measurable Function

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