In mathematics, a Lebesgue-measurable function is a real function f : R --> R such that for every real number a, the set

is a Lebesgue-measurable set. See Lebesgue measure.