Teorema:

Sea $(X,\mathcal{M},\mu)$ un espacio de medida.

• A1. Si $E,F\subset \mathcal{M}$, tal que $E\subseteq F$ entonces $\mu(E)\leq \mu(F)$.
• A2. Si $\{A_i\}_{i=1}^\infty\subset \mathcal{M}$ entonces $\displaystyle \mu(\cup_{i=1}^\infty A_i)\leq \sum_{i=1}^\infty\mu(A_i)$

DEMOSTRACIÓN: