Next Topology of Data Types 15

Open set = Semidecidable property
Closed set = Semidecidable complement
Clopen set = Decidable property


Next