Space S1 | Property P181
Discrete topology on a two-point set is not Countably infinite
Automatically deduced from the following:Properties
| Property | Value |
|---|---|
| Cardinality |
Theorems
| Id | If | Then |
|---|---|---|
| T430 | Cardinality | Cardinality |
| T431 | ¬Finite | Cardinality |
| T455 | Countably infinite | ¬Finite |