Every property of topology has a reflection in the world of computability

Open set

=

Semidecidable property