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