Closure operator

In mathematics a closure operator is a unary operator or function on subsets of a given set which maps a subset to a containing subset with a particular property.

A closure operator on a set X is a function F on the power set of X, $F:{\mathcal {P}}X\rightarrow {\mathcal {P}}X$, satisfying:

$A\subseteq B\Rightarrow FA\subseteq FB;\,$

$A\subseteq FA;\,$

$FFA=FA.\,$

A topological closure operator satisfies the further property

$F(A\cup B)=FA\cup FB.\,$

A closed set for F is one of the sets in the image of F

Closure system

A closure system is the set of closed sets of a closure operator. A closure system is defined as a family ${\mathcal {C}}$ of subsets of a set X which contains X and is closed under taking arbitrary intersections:

${\mathcal {S}}\subseteq {\mathcal {C}}\Rightarrow \cap {\mathcal {S}}\in {\mathcal {C}}.\,$

The closure operator F may be recovered from the closure system as

$FA=\bigcap _{A\subseteq C\in {\mathcal {C}}}C.\,$