Theorems
Let, F having the finite intersection property. Then there exists an ultrafilter (in ) such that . See details and proof in Csirmaz & Hajnal (1994). This result is known as ultrafilter lemma.
Read more about this topic: Finite Intersection Property