Proposition 2.12. $U$ is an ultrafilter if and only if for all $A\subseteq \mathbb{N}$, either $A\in U$ or $A^c$ is in $U$.