İpucu: X herhangi bir küme ve f:N→X bijektif bir fonksiyon olmak üzere
⪯:={(x,y)|f−1(x)≤Nf−1(y)}⊆X2 bağıntısı bir iyi sıralama bağıntısıdır.
X kümesi yerine Z tamsayılar kümesini alırsan N doğal sayılar kümesinden Z tamsayılar kümesine tanımlayacağın her bir bijektif fonksiyon için Z tamsayılar kümesi üzerinde farklı bir iyi sıralama bağıntısı bulacaksın.