Principal Ultrafilter is All Sets Containing Cluster Point

Theorem
Let $S$ be a set.

Let $\powerset S$ denote the power set of $S$.

Let $\FF \subset \powerset S$ be a principal ultrafilter on $S$.

Let its cluster point be $x$.

Then $\FF$ is the set of all subsets of $S$ which contain $x$.

Proof
By definition of cluster point, $x$ is in every element of $\FF$.

there is some $A \subseteq S$ such that $x \in A$ and $A \notin \FF$.

Then, by definition of relative complement:
 * $x \notin \relcomp S A$

But then:
 * $\relcomp S A \notin \FF$

This contradicts $\FF$ being an ultrafilter.

Therefore, by Proof by Contradiction, every $A \subseteq S$ containing $x$ is in $\FF$.

Thus, $A \subseteq S$ is in $\FF$ precisely when $x \in A$.