Closed Set

In topology, a closed set is the complement of an open set. While most topologists choose to construct theorems in terms of open sets as the natural object, there exists a correspondence (in the form of a natural transformation) which allows one to formulate any fact about open sets in terms of closed sets.