ThmDex – An index of mathematical definitions, results, and conjectures.
F11073
Formulation 0
Let $M = (\mathbb{R}^D, \mathcal{L}, \ell)$ be a D1744: Lebesgue measure space such that
(i) $E, F \in \mathcal{L}$ are each a D1779: Lebesgue set in $M$
(ii) \begin{equation} E \subseteq F \end{equation}
Then \begin{equation} \ell(E) \leq \ell(F) \end{equation}