Örneğin doğal sayıların normal bir sırası iyi sıralıdır fakat ne tam sayıların ne de pozitif reel sayıların normal bir sırası iyi sıralı değildir.
İyi sıralı bir ``S`` kümesinde sonsuz olarak azalan bir zincir bulunamaz, yani ``S`` kümesinde her ``i`` için
İyi sıralı bir kümede, mevcut olabilecek en büyük eleman dışındaki her ``a`` elemanının belirli bir ardılı bulunur: ``a`` elemanından daha büyük olan tüm elemanların altkümesinin en küçük elemanı.
Bununla birlikte her elemanın bir öncel elemanı olmak zorunda değil. Örneğin doğal sayılar kümesinin iki kopyasını ele alalım ve bu kopyaların, ikinci kopyadaki her elemanın ilk kopyadaki her elemandan daha büyük olacak şekilde sıralı olduğunu varsayalım. Her kopyada normak sıralılık seçilirse her iki küme iyi sıralı bir kümedir ve şeklinde gösterilir. Burada her elemanın bir ardıl elemanı bulunmasına karşın (yani en büyük bir eleman olmamasına karşın) öncel elemanı olmayan iki eleman bulunur: Birinci kopyanın sıfır sayısı (bu kümenin en küçük elemanı) ve ikinci kopyanın sıfır sayısı (ilk kopyanın her elemanı bu sayıdan daha küçüktür fakat alt kümede en büyük eleman yoktur).
Bir küme iyi sıralı ise verili bir önermenin bu kümenin tüm elemanları için doğru olduğunu göstermek için, sonluötesi tümevarım tekniği kullanılabilir. (Tam tümevarım bu tekniğin özel bir durumudur.)
