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