Statements (62)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Twix
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ultrafilter
|
| gptkbp:is_a |
gptkb:Mathematics
Topology on a set Limit point Ultrafilter lemma Collection of subsets Filter base Filter on a set Filter on a topological space Maximal filter Non-principal ultrafilter Principal ultrafilter Set of filters Set of ultrafilters Type of filter Ultrafilter on a Boolean algebra Ultrafilter on a Hausdorff space Ultrafilter on a compact space Ultrafilter on a discrete space Ultrafilter on a lattice Ultrafilter on a metric space Ultrafilter on a set Ultrafilter on a topological space Ultrafilter on a uniform space Ultrapower construction |
| gptkbp:is_characterized_by |
Limit points
Convergence properties Convergence of sequences Closure properties Containment of sets Discrete properties Filter properties Maximality property Properties of convergence Separation properties |
| gptkbp:is_related_to |
gptkb:Zorn's_lemma
Topology Continuity Boolean algebra Dense sets Cardinality Compactness theorem Topology of compact sets Topology of compactness Topology of convergence sequences Topology of limits Topology of ultrafilters |
| gptkbp:is_used_in |
gptkb:political_theory
Model theory Set theory Topology Functional analysis General topology Measure theory Algebraic topology Functional spaces Set-theoretic topology Topology of convergence Topology of discrete spaces |
| gptkbp:bfsParent |
gptkb:The_Axiom_of_Choice
|
| gptkbp:bfsLayer |
7
|