Definition 4.3 (Ultrafilter). Let $J$ be an infinite set and $F$ a filter on $J$. We say $F$ is an ultrafilter if every filter $G$ on $J$ satisfying $F\subseteq G$ also satisfies $G=F$.