Category:Greatest Element is Unique

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Greatest Element is Unique:

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

If $S$ has a greatest element, then it can have only one.

That is, if $a$ and $b$ are both greatest elements of $S$, then $a = b$.

Pages in category "Greatest Element is Unique"

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