| Next | Topology of Data Types | 20 |
Suppose the property Nx(y) = (x ≠ y) is semidecidable for each x
Then the set { x } is closed for each x
Then the space is Hausdorff
| Open set | = | Semidecidable property |
| Closed set | = | Semidecidable complement |
| Clopen set | = | Decidable property |
| Continuous function | = | Computable function |
| Discrete space | = | Semidecidable equality |
| Hausdorff space | = | Semidecidable inequality |
| Next |