Discrete topology on a two-point set is not Cardinality
Automatically deduced from the following:Property | Value |
---|---|
Cardinality |
Id | If | Then |
---|---|---|
430 | Cardinality | Cardinality |
431 | ¬ Finite | Cardinality |
187 | Finite | Countable |
191 | Cardinality | ¬ Countable |