Set of Finite Character with Choice Function is Type M

Theorem
Let $S$ be a set of sets of finite character.

Let $S$ have a choice function $C$ for its union $\ds \bigcup S$.

Then $S$ is of type $M$.

That is:
 * every element of $S$ is a subset of a maximal element of $S$ under the subset relation.

Proof
By Class of Finite Character is Swelled, a set of finite character is swelled.

By Class of Finite Character is Closed under Chain Unions a set of finite character is closed under chain unions.

The result follows from Swelled Set which is Closed under Chain Unions with Choice Function is Type $M$.