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, \preccurlyeq}$ 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 \preccurlyeq d$ for all upper bounds $d$ of $T$ in $S$.

Subcategories

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

Pages in category "Suprema"

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