 Well-ordering principle

The Well-ordering principle is a fundamental concept in set theory and mathematics that states that every non-empty set of non-negative integers (or positive integers) contains a least element.