Z tamsayılar kümesi olmak üzere
⪯:={(x,y)|(|x|<Z|y|∨|x|=Z|y|)∧x≤Z|y|}⊆Z2 bağıntısı bir iyi sıralama bağıntısıdır. Yani (Z,⪯) ikilisi bir posettir ve Z tamsayılar kümesinin boştan farklı her altkümesinin (bu bağıntıya göre) bir minimumu vardır. Bu bağıntıya göre tamsayılar kümesini sıralarsak aşağıdaki gibi bir sıralama elde ederiz.
0⪯−1⪯1⪯−2⪯2⪯−3⪯3⪯−4⪯4⪯…