From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Suprema.
Related results can be found in Category: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$.

Pages in category "Definitions/Suprema"

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