Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum/Proof 2

Proof
Let:
 * ${\mathbb M}_\infty := \set { A \in \MM : \map \Card {\MM_A} = \infty}$

where:
 * $\MM_A$ denotes the trace $\sigma$-algebra of $A$ in $\MM$

Let $A \in {\mathbb M}_\infty$.

Then:
 * $\forall B \in \MM_A : B \in {\mathbb M}_\infty \lor A \setminus B \in {\mathbb M}_\infty$

since:
 * $\map \Card {\MM_B} + \map \Card {\MM_{A \setminus B} } \ge \map \Card {\MM_A} = \infty$

In particular:
 * $\forall A \in {\mathbb M}_\infty : \exists B \in {\mathbb M}_\infty : B \subsetneq A$

Thus by Axiom of Choice, there exists a mapping:
 * $f : {\mathbb M}_\infty \to {\mathbb M}_\infty$

such that:
 * $\forall A \in {\mathbb M}_\infty : \map f A \subsetneq A$

Let:
 * $F_i := \map {f^i} X \setminus \map {f^{i+1} } X$

for $i \in \N$.

Then $\sequence {F_i}_{i \in \N}$ are non-empty pairwise disjoint sets in $\MM$.

We can define an injection $\powerset \N \to \MM$ by:
 * $\ds N \mapsto \bigsqcup_{i \mathop \in N} F_i$

That is:
 * $\map \Card \MM \ge \map \Card {\powerset \N}$

By Power Set of Natural Numbers has Cardinality of Continuum:
 * $\map \Card {\powerset \N} = \mathfrak c$