properties of the closure operator
Suppose is a topological space, and let be theclosure
of in .Then the following properties hold:
- 1.
where is the derived set of .
- 2.
, and if and only if is closed
- 3.
if and only if .
- 4.
If is another topological space, then is a continuous map
,if and only if for all . If is also a homeomorphism,then .