Ahora, sea $C \in \scrf$ tal que $C \subset A$, luego $\mu(C) \leq \mu(A)$, como $C$ es

arbitrario se sigue que $\mu(A)$ es cota superior de \{\mu(B) : B \in \scrf, B \subset A \}, veamos
que $\mu(A)$ es la menor de las cotas inferiores.

sea $a$ otra cota superior de $\{\mu(B) : B \in \scrf, B \subset A \}$, como $A = G \cup N$, se
sigue que $G \subset A$ y como $G \in \scrf$, entonces $\mu(G) \leq a$ pero $\mu(G) = \mu(A)
$ de donde $\mu(A) \leq a$, se concluye entonces que $\mu_{o}(A) = \mu(A)$