Closure Operator

An idempotent operation on a partially ordered set, see Closure relation.

In particular, a Kuratowski closure operator defining a topological space, or Čech closure operator operator defining a pre-topological space, see Closure space.

See also Closed operator, a linear operator on a Banach space that preserves convergence.