Ultrafilter-Lemma

Die Aussage, dass jeder echte Filter auf einer Booleschen Algebra oder auf der Potenzmenge einer Menge zu einem Ultrafilter fortgesetzt werden kann; äquivalent dazu, dass jede Familie von Mengen mit der endlichen Schnitt-Eigenschaft in einem Ultrafilter enthalten ist; häufig benutzt zur Konstruktion von Ultraprodukten und nicht-prinzipalen Ultrafiltern.