Minimality and maximality

#matematik-discmath

Definition: Least and greatest member

Let . An element is called a least member if for every , and an element is called a greatest member if for every .

Theorem

Every nonempty subset of has a least member.

Proof:
Since is nonempty, by Theorem, we can sum until we reach a number in , which must be a least member of .