Definition:Measurable Set/Subset of Reals

Definition
A subset $S$ of the real numbers $\R$ is said to be Lebesgue measurable, or frequently just measurable, for every set $A \in \R$:


 * $\map {\lambda^*} A = \map {\lambda^*} {A \cap S} + \map {\lambda^*} {A \setminus S}$

where $\lambda^*$ is the Lebesgue outer measure.

The set of all measurable sets of $\R$ is frequently denoted $\mathfrak M_\R$ or just $\mathfrak M$.