Closure
From Conservapedia
This is an old revision of this page, as edited by Foxtrot (Talk | contribs) at 03:34, June 28, 2008. It may differ significantly from current revision.
In topology, the closure of a set A is the intersection of all closed sets containing A. In metric spaces, this can be also defined as the set of all limit points of the set A.
A closure operator is an abstract (category theory) form of the topological notion of closure which can be applied to any set A. It is a function cl from A to the power set of A satisfying the following conditions:
-
(augmentation) - If
then 
(monotonicity) -
(idempotence)
In the category of topological spaces, this operator is isomorphic to the standard topological one.
