Definition:Measurable Function/Extended Real-Valued Function

Also see

 * Equivalence of Definitions of Extended Real-Valued Measurable Function