Boolean Prime Ideal Theorem/Proof 1

Proof
Let $T$ be the set of ideals in $S$ that contain $I$ and are disjoint from $F$, ordered by inclusion.

Let $N$ be a chain in $T$.

Then $\ds U = \bigcup N$ is clearly disjoint from $F$ and contains $I$.

Let $x \in U$ and $y \le x$.

Then:
 * $\exists A \in N: x \in A$

By the definition of union:
 * $x \in U$

Let $x \in U$ and $y \in U$.

Then:
 * $\exists A, B \in N: x \in A, y \in B$

By the definition of a chain:
 * $A \subseteq B$

or:
 * $B \subseteq A$

Hence $U$ is also an ideal.

, suppose $A \subseteq B$.

Then:
 * $x \in B$

Since $y$ is also in $B$, and $B$ is an ideal:


 * $x \vee y \in U$.

By Zorn's Lemma, $T$ has a maximal element, $M$.

It remains to show that $M$ is a prime ideal:

Every Boolean algebra is a distributive lattice.

So by Maximal Ideal WRT Filter Complement is Prime in Distributive Lattice, $M$ is a prime ideal.