Space S1 | Property P136
Discrete topology on a two-point set is Anticompact
Automatically deduced from the following:Properties
| Property | Value |
|---|---|
| Discrete |
Theorems
| Id | If | Then |
|---|---|---|
| T218 | Discrete | Locally finite |
| T293 | Locally finite | Anticompact |
| Property | Value |
|---|---|
| Discrete |
| Id | If | Then |
|---|---|---|
| T218 | Discrete | Locally finite |
| T293 | Locally finite | Anticompact |