Next Topology of Data Types 14

Closedness

Open set = Semidecidable property
Closed set = Semidecidable complement


Next