# Category:Upper Sets

Jump to navigation
Jump to search

This category contains results about Upper Sets.

Definitions specific to this category can be found in Definitions/Upper Sets.

Let $\left({S, \preceq}\right)$ be an ordered set.

Let $U \subseteq S$.

$U$ is an **upper set** in $S$ if and only if:

- $\forall u \in U: \forall s \in S: u \preceq s \implies s \in U$

## Pages in category "Upper Sets"

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