ccc (countable chain condition)
GPTKB entity
Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alternativeName |
countable chain condition
|
| gptkbp:appliesTo |
gptkb:topology
partially ordered set |
| gptkbp:defines |
Every family of pairwise disjoint non-empty open sets is countable
|
| gptkbp:doesNotImply |
separability in general
|
| gptkbp:example |
real line with standard topology
uncountable discrete space |
| gptkbp:hasProperty |
gptkb:algebra
gptkb:topology poset |
| https://www.w3.org/2000/01/rdf-schema#label |
ccc (countable chain condition)
|
| gptkbp:implies |
separability in some cases
|
| gptkbp:relatedTo |
gptkb:Zorn's_lemma
gptkb:Martin's_axiom gptkb:Suslin's_problem |
| gptkbp:usedIn |
gptkb:set_theory
gptkb:topology measure theory |
| gptkbp:bfsParent |
gptkb:perfect_set_forcing
|
| gptkbp:bfsLayer |
7
|