Let $M = (\mathbb{R}^D, \mathcal{L}, \ell)$ be a D1744: Lebesgue measure space.

Then \begin{equation} \forall \, E, F \in \mathcal{L} \left( E \subseteq F \quad \implies \quad \ell(F) \leq \ell(F) \right) \end{equation}