Definition:Kuratowski Closure Operator/Definition 1

Definition

Let $S$ be a set.

Let $\cl: \powerset S \to \powerset S$ be a mapping from the power set of $S$ to itself.

Then $\cl$ is a Kuratowski closure operator if and only if it satisfies the following Kuratowski closure axioms for all $A, B \subseteq S$:

\((1)\)	$:$				\(\ds A \subseteq \map \cl A \)				$\cl$ is inflationary
\((2)\)	$:$				\(\ds \map \cl {\map \cl A} = \map \cl A \)				$\cl$ is idempotent
\((3)\)	$:$				\(\ds \map \cl {A \cup B} = \map \cl A \cup \map \cl B \)				$\cl$ preserves binary unions
\((4)\)	$:$				\(\ds \map \cl \O = \O \)

Note that axioms $(3)$ and $(4)$ may be replaced by the single axiom that for any finite subset $\FF$ of $\powerset S$:

$\ds \map \cl {\bigcup \FF} = \map {\bigcup_{F \mathop \in \FF} } {\map \cl F}$

Also see

• Equivalence of Definitions of Kuratowski Closure Operator

Source of Name

This entry was named for Kazimierz Kuratowski.