Proposition 2.13. Assuming that:

$F$ a filter

Then there exists an ultrafilter

U

extending

F^{'}

.