Ultrafilter lemma
E1215845
UNEXPLORED
The ultrafilter lemma is a set-theoretic principle weaker than the full Axiom of Choice that guarantees every filter can be extended to an ultrafilter and underlies several key results in topology and analysis.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Ultrafilter lemma canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.