Proposition 4.5. Assuming that:

$J$ is a set
$F$ a filter on $J$

Then there is an ultrafilter

U

such that

F \subseteq U

.