Category:Smallest Element is Unique

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Smallest Element is Unique:


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

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


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

Pages in category "Smallest Element is Unique"

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