# Category:Closure Operators

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 following conditions for all elements $x, y \in S$:

$\cl$ is inflationary | \(\displaystyle x \) | \(\displaystyle \preceq \) | \(\displaystyle \map \cl x \) | |||||

$\cl$ is increasing | \(\displaystyle x \preceq y \) | \(\displaystyle \implies \) | \(\displaystyle \map \cl x \preceq \map \cl y \) | |||||

$\cl$ is idempotent | \(\displaystyle \map \cl {\map \cl x} \) | \(\displaystyle = \) | \(\displaystyle \map \cl x \) |

## Subcategories

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

### E

### L

### R

### S

### T

### U

## Pages in category "Closure Operators"

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

### C

- Closed Element of Composite Closure Operator
- Closed Elements Uniquely Determine Closure Operator
- Closure is Closed
- Closure is Closed/Power Set
- Closure is Smallest Closed Successor
- Closure Operator does not Change Infimum of Subset of Image
- Closure Operator from Closed Elements
- Closure Operator from Closed Sets
- Closure Operator Preserves Directed Suprema iff Image of Closure Operator Inherits Directed Suprema
- Composition of Compatible Closure Operators
- Compositions of Closure Operators are both Closure Operators iff Operators Commute

### E

### I

### O

- Operator Generated by Closure System is Closure Operator
- Operator Generated by Closure System Preserves Directed Suprema iff Closure System Inherits Directed Suprema
- Operator Generated by Image of Closure Operator is Closure Operator
- Ordered Set of Closure Operators and Dual Ordered Set of Closure Systems are Isomorphic
- Ordering on Closure Operators iff Images are Including