Induced Outer Measure Restricted to Semiring is Pre-Measure

Theorem
Let $\mathcal S$ be a semiring over a set $X$.

Let $\mu: \mathcal S \to \overline{\R}_{\ge 0}$ be a pre-measure on $\mathcal S$, where $\overline{\R}_{\ge 0}$ denotes the set of positive extended real numbers.

Let $\mu^*: \mathcal P \left({X}\right) \to \overline{\R}_{\ge 0}$ be the outer measure induced by $\mu$.

Then:
 * $\displaystyle \mu^*\restriction_{\mathcal S} \, = \mu$

where $\restriction$ denotes restriction.

Proof
Let $S \in \mathcal S$.

It follows immediately from the definition of the induced outer measure that $\mu^* \left({S}\right) \le \mu \left({S}\right)$.

Therefore, it suffices to show that if $\left({A_n}\right)_{n=0}^{\infty}$ is a countable cover for $S$, then:
 * $\displaystyle \mu \left({S}\right) \le \sum_{n=0}^\infty \mu \left({A_n}\right)$

If the above statement is true, then it follows directly from the definition of infimum that $\mu \left({S}\right) \le \mu^* \left({S}\right)$, thus proving the theorem.

Define, for all $n \in \N$:
 * $\displaystyle B_n = A_n \setminus A_{n-1} \setminus \cdots \setminus A_0$

where $\setminus$ denotes set difference.

We take $B_0 = A_0$.

Using the mathematical induction, we will prove that for all natural numbers $m < n$, $B_{n, m} = A_n \setminus A_{n-1} \setminus \cdots \setminus A_{n-m}$ is the finite union of pairwise disjoint elements of $\mathcal S$.

We take $B_{n, 0} = A_n$.

The base case $m = 0$ is trivial.

Now assume the induction hypothesis that the above statement is true for some natural number $m < n - 1$, and let $D_1, D_2, \ldots, D_N$ be pairwise disjoint elements of $\mathcal S$ such that:
 * $\displaystyle B_{n, m} = \bigcup_{k=1}^N D_k$

Then:

By the definition of a semiring, for all natural numbers $k \le N$, $D_k \setminus A_{n-m-1}$ is the finite union of pairwise disjoint elements of $\mathcal S$.

Hence $B_{n, m+1}$ is the finite union of pairwise disjoint elements of $\mathcal S$, completing the induction step.

Therefore, $B_{n, n-1} = B_n$ is the finite union of pairwise disjoint elements of $\mathcal S$, as desired.

Using the above result and applying the axiom of countable choice, we can, for all $n \in \N$, choose a finite set $\mathcal F_n$ whose elements pairwise disjoint elements of $\mathcal S$ for which:
 * $\displaystyle B_n = \bigcup \mathcal F_n$

Now, $x \in S$ if and only if there exists an $n \in \N$ such that $x \in S \cap A_n$.

Taking the smallest such $n$, which exists because $\N$ is well-ordered, it follows that $x \notin A_0, A_1, \ldots, A_{n-1}$, and so $x \in S \cap B_n$.

Therefore:
 * $\displaystyle S = \bigcup_{n=0}^\infty \, \left({S \cap B_n}\right)$

Hence: