Definition
Let be a set in
.
is said to be closed if it contains its boundry points. Ie,
is closed if
.
Notes
It also follows that, for a set (do note the possibility of equality), if
, then it follows that
, so that the complement of an open set is closed, and vice versa.