Category:Suprema

From ProofWiki
Jump to navigation Jump to search

This category contains results about Suprema in the context of Order Theory.
Definitions specific to this category can be found in Definitions/Suprema.


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

Let $T \subseteq S$.


An element $c \in S$ is the supremum of $T$ in $S$ if and only if:

$(1): \quad c$ is an upper bound of $T$ in $S$
$(2): \quad c \preceq d$ for all upper bounds $d$ of $T$ in $S$.


If there exists a supremum of $T$ (in $S$), we say that:

$T$ admits a supremum (in $S$) or
$T$ has a supremum (in $S$).

Subcategories

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

Pages in category "Suprema"

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