Every nonempty set of non-negative integers has a least element. Used in proofs of the Division Algorithm and unique factorization.. This concept is typically introduced in College. Understanding this concept builds a strong foundation for more advanced mathematics.