พจนานุกรม

任意の自然数 a, b, c に対して a ≤ b ならば a + c ≤ b + c ac ≤ bc 順序に関して自然数が持つ重要な性質の一つは、それが整列集合であるということ、つまり自然数を要素とする空でない任意の集合は必ず最小元を持つということである。