Closure relation

closure operation, in a partially ordered set

A single-valued mapping of into itself, associating with each element an element , called the closure of , in such a way that the following conditions hold: 1) ; 2) if , then ; and 3) . An element is said to be closed if it is its own closure. A closure operation in a set is uniquely determined by specifying the system of all closed elements. In the particular case when is the set of all subsets of an arbitrary set , ordered by inclusion, one speaks of a closure operation on . On any set , a closure operation can be defined by taking the closed subsets to be any system of subsets that includes itself and is closed under arbitrary intersections. Two partially ordered sets with closure operations are said to be isomorphic if there is an isomorphism of the partially ordered sets under which the images and pre-images of closed sets are closed. Considerable importance is given in mathematics to closure operations on the set of all subsets of which satisfy the following additional assumption: The empty set is closed, and the closure of the union of two subsets of equals the union of their closures. A closure operation satisfying this condition is called a topology on the set .

References

[1]	P.M. Cohn, "Universal algebra" , Reidel (1981)
[2]	A.G. Kurosh, "Lectures on general algebra" , Chelsea (1963) (Translated from Russian)

Comments

Instead of closure operation the terms closure operator and join operator are also used (cf., e.g., [1]). A family of subsets of a given set is called a closure system if it is closed under arbitrary intersections. An example is the collection of all subspaces of an affine space , and as explained above this induces a closure operation on the subsets of .

Closure operations commuting with finite unions are often called Kuratowskian closure operations, in honour of [a1]. A Boolean algebra equipped with a closure operation is sometimes called a closure algebra (see [a2]).

References

[a1]	C. Kuratowski, "Sur l'opération de l'analysis situs" Fund. Math. , 3 (1922) pp. 182–199
[a2]	J.C.C. McKinsey, A. Tarski, "On closed elements in closure algebras" Ann. Math. (2) , 47 (1946) pp. 122–162