Proposition 4.4. Assuming that:

Then F is an ultrafilter if and only if for every A⊆J either A∈F or J∖A∈F.