Space S1 | Property P208
Discrete topology on a two-point set is Noetherian
Automatically deduced from the following:Properties
| Property | Value |
|---|---|
| Cardinality |
Theorems
| Id | If | Then |
|---|---|---|
| T430 | Cardinality | Cardinality |
| T431 | ¬Finite | Cardinality |
| T198 | Finite | Noetherian |