Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space.

Then \begin{equation} \forall \, E, F \in \mathcal{F} \, (E \subseteq F \quad \implies \quad \mu(E) \leq \mu(F)) \end{equation}