Well-ordering Principle

For any nonempty set of positive integers, there is a Least Element.

If S is a set of integers, then there is a Least Element , such that for every element , .