Category:Definitions/Upper Closures

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Upper Closures.
Related results can be found in Category:Upper Closures.

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

Let $a \in S$.

The upper closure of $a$ (in $S$) is defined as:

$a^\succcurlyeq := \set {b \in S: a \preccurlyeq b}$

That is, $a^\succcurlyeq$ is the set of all elements of $S$ that succeed $a$.