Definition 7.4.12: Measurable Function

Let f be a function from E R into R { -, } . The function f is called (Lebesgue) measurable if

• the domain E of the function is a measurable set
• for every real number a the set f ^-1 (-, a) is a measurable set

Context