Doğal sayılar kümesi, genellikle \( \mathbb{N} = \{0, 1, 2, 3, \dots\} \) şeklinde gösterilen sayıların oluşturduğu kümedir. Bu küme üzerinde sıralama ilişkisi tanımlanabilir.
Bir kümenin sıralı olması için, o kümenin elemanları arasında bir "≤" (küçük eşittir) ilişkisinin tanımlanmış olması ve bu ilişkinin aşağıdaki üç özelliği sağlaması gerekir:
Evet, doğal sayılar kümesi tam sıralı bir kümedir. Bunun nedeni, doğal sayılar arasında tanımlanan "<" (küçüktür) veya "≤" (küçük eşittir) ilişkisinin yukarıdaki tüm özellikleri sağlamasıdır.
Örneğin:
Ayrıca, doğal sayılar kümesi iyi sıralı bir kümedir. Bu, boş olmayan her alt kümesinin bir en küçük elemanı olduğu anlamına gelir. Örneğin, \( A = \{5, 8, 2\} \) alt kümesinin en küçük elemanı 2'dir.
Doğal sayılar kümesi, üzerinde tanımlanan doğal sıralama ilişkisi sayesinde hem tam sıralı hem de iyi sıralı bir küme oluşturur. Bu nedenle, "doğal sayılar kümesi sıralıdır" ifadesi doğrudur.