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