closed set

2023-10-05

definition: closed set of

a subset is closed if its complement is open.

(john h. hubbard, barbara burke hubbard, 2015 definition 1.5.4)