Next Topology of Data Types 20

Inequality

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