Next
Topology of Data Types
15
Open set
=
Semidecidable property
Closed set
=
Semidecidable complement
Clopen set
=
Decidable property
Next