Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:ultrafilter
|
| gptkbp:cardinality |
2^2^|X| on set X
|
| gptkbp:contrastsWith |
gptkb:principal_ultrafilter
|
| gptkbp:definedIn |
gptkb:box_set
|
| gptkbp:does_not_exist_on |
finite set
|
| gptkbp:exists_on |
infinite set
|
| gptkbp:field |
gptkb:mathematics
gptkb:set_theory gptkb:topology |
| gptkbp:heldBy |
ultrafilter that is not principal
|
| gptkbp:property |
contains no finite set
every cofinite set is in the ultrafilter not generated by a single element |
| gptkbp:relatedTo |
gptkb:Zorn's_lemma
axiom of choice |
| gptkbp:used_in |
gptkb:Stone–Čech_compactification
gptkb:model_theory gptkb:nonstandard_analysis ultraproduct construction |
| gptkbp:bfsParent |
gptkb:Ramsey_ultrafilter
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
free ultrafilter
|