An important property of the natural numbers is that they are well-ordered: every non-empty set of natural numbers has a least element.
Умножение также превращает множество натуральных чисел в полугруппу с единицей, при этом единичным элементом является 1.