Well Ordering Principle

The Well Ordering Principle (WOP) states that every nonempty set of ℕ (or nonnegative integers) has a smallest element.