Ultrafilter

1. Definition

Sei \(X\) eine Menge und \(\mathcal{F}\) ein Mengenfilter auf \(X\). Dann ist \(\mathcal{F}\) ein Ultrafilter auf \(X\), falls kein anderer, feinerer Mengenfilter existiert.

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 22:09