Closedness

• A set is closed if only if its complement is open

• If and only if its complement is semidecidable

• Given closed C, I can semidecide x ∉ C

Open set	=	Semidecidable property
Closed set	=	Semidecidable complement