Closure operator

From Academic Kids

In mathematics, given a partially ordered set (P, ≤), a closure operator on P is a function C : PP with the following properties:


The name comes from the fact that forming the closure of subsets of a topological space has these properties if the set of all subsets is ordered by inclusion ⊆. (Note that the topological closure operator is not characterized by these properties however; see the Kuratowski closure axioms for a complete characterization.)

Suppose you have some logical formalism that contains certain rules allowing you to derive new formulas from given ones. Consider the set F of all possible formulas, and let P be the power set of F, ordered by ⊆. For a set X of formulas, let C(X) be the set of all formulas that can be derived from X. Then C is a closure operator on P.

Another typical closure operator is the following: take a group G and for any subset X of G, let C(X) be the subgroup generated by X, i.e. the smallest subgroup of G containing X. Then C is a closure operator on the set of subsets of G, ordered by inclusion ⊆. Analogous examples can be given for the subspace generated by a given subset of a vector space, for the subfield generated by a given subset of a field, or indeed for the subalgebra generated by a given subset of any algebra in the sense of universal algebra.

The ceiling function from the real numbers to the real numbers, which assigns to every real x the smallest integer not smaller than x, is a closure operator as well.

Closed elements; properties

Given a closure operator C, a closed element of P is an element x that is a fixed point of C, or equivalently, that is in the image of C. If a is closed and x is arbitrary, then we have xa if and only if C(x) ≤ a. So C(x) is the smallest closed element that's greater than or equal to x. We see that C is uniquely determined by the set of closed elements.

Every Galois connection gives rise to a closure operator (as is explained in that article). In fact, every closure operator arises in this way from a suitable Galois connection. The Galois connection is not uniquely determined by the closure operator. One Galois connection that gives rise to the closure operator C can be described as follows: if A is the set of closed elements with respect to C, then C : PA is the lower adjoint of a Galois connection between P and A, with the upper adjoint being the embedding of A into P. Furthermore, every lower adjoint of an embedding of some subset into P is a closure operator. "Closure operators are lower adjoints of embeddings." Note however that not every embedding has a lower adjoint.

Any partially ordered set P can be viewed as a category, with a single morphism from x to y if and only if xy. The closure operators on the partially ordered set P are then nothing but the monads on the category P.

If P is a complete lattice, then a subset A of P is the set of closed elements for some closure operator on P if and only if A is a Moore family on P, i.e. the largest element of P is in A, and the infimum (meet) of any non-empty subset of A is again in A. Any such set A is itself a complete lattice with the order inherited from P (but the supremum (join) operation might differ from that of P). The closure operators on P form themselves a complete lattice; the order on closure operators is defined by C1C2 iff C1(x) ≤ C2(x) for all x in P.


Academic Kids Menu

  • Art and Cultures
    • Art (
    • Architecture (
    • Cultures (
    • Music (
    • Musical Instruments (
  • Biographies (
  • Clipart (
  • Geography (
    • Countries of the World (
    • Maps (
    • Flags (
    • Continents (
  • History (
    • Ancient Civilizations (
    • Industrial Revolution (
    • Middle Ages (
    • Prehistory (
    • Renaissance (
    • Timelines (
    • United States (
    • Wars (
    • World History (
  • Human Body (
  • Mathematics (
  • Reference (
  • Science (
    • Animals (
    • Aviation (
    • Dinosaurs (
    • Earth (
    • Inventions (
    • Physical Science (
    • Plants (
    • Scientists (
  • Social Studies (
    • Anthropology (
    • Economics (
    • Government (
    • Religion (
    • Holidays (
  • Space and Astronomy
    • Solar System (
    • Planets (
  • Sports (
  • Timelines (
  • Weather (
  • US States (


  • Home Page (
  • Contact Us (

  • Clip Art (
Personal tools