一方、自然数の有限個の集まりは、最大値を持つ
そして、上記の集まりのどの要素となる自然数も
それが他の数より大きくなるのは、その数が集まりの最大値であり
しかも、それ以外に最大値が存在しないとき、そのときに限る