Category:Closure Operators

From ProofWiki
Jump to navigation Jump to search

This category contains results about Closure Operators in the context of Mapping Theory.
Definitions specific to this category can be found in Definitions/Closure Operators.

Let $\struct {S, \preceq}$ be an ordered set.

A closure operator on $S$ is a mapping:

$\cl: S \to S$

which satisfies the closure axioms as follows for all elements $x, y \in S$:

\((\text {cl} 1)\)   $:$   $\cl$ is inflationary:       \(\ds x \)   \(\ds \preceq \)   \(\ds \map \cl x \)      
\((\text {cl} 2)\)   $:$   $\cl$ is increasing:       \(\ds x \preceq y \)   \(\ds \implies \)   \(\ds \map \cl x \preceq \map \cl y \)      
\((\text {cl} 3)\)   $:$   $\cl$ is idempotent:       \(\ds \map \cl {\map \cl x} \)   \(\ds = \)   \(\ds \map \cl x \)      


This category has the following 9 subcategories, out of 9 total.

Pages in category "Closure Operators"

The following 29 pages are in this category, out of 29 total.