Definition:Measurable Function

An extended real-valued function $$f:\mathbb{R} \to \mathbb{R}\cup\left\{{-\infty,+\infty}\right\}$$ is said to be Lebesgue measurable if its domain is measurable and it satisfies one of the four conditions of the theorem on measurable images.