Definition:Measurable Function

Also see

 * Measurable Mapping, a more general notion of which this is a specialization.
 * Space of Measurable Functions, naming collections of $\Sigma$-measurable functions conveniently