Statements (12)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:category |
point of a topological space
|
gptkbp:defines |
A point p in a topological space such that every countable intersection of neighborhoods of p is again a neighborhood of p.
|
gptkbp:field |
gptkb:topology
|
https://www.w3.org/2000/01/rdf-schema#label |
P-point
|
gptkbp:namedFor |
gptkb:Isaac_Namioka
|
gptkbp:property |
Every P-point is a non-principal ultrafilter in βN\\N.
|
gptkbp:relatedTo |
gptkb:Stone–Čech_compactification
gptkb:set_theory ultrafilter |
gptkbp:bfsParent |
gptkb:Ramsey_ultrafilter
|
gptkbp:bfsLayer |
6
|