Space S1 | Property P129
Discrete topology on a two-point set is not Indiscrete
Automatically deduced from the following:Properties
| Property | Value |
|---|---|
| Has multiple points | |
| Discrete |
Theorems
| Id | If | Then |
|---|---|---|
| T247 | Discrete ∧ Indiscrete | ¬Has multiple points |
| Property | Value |
|---|---|
| Has multiple points | |
| Discrete |
| Id | If | Then |
|---|---|---|
| T247 | Discrete ∧ Indiscrete | ¬Has multiple points |