BSTS / Mantık Terimleri Sözlüğü
iyice sıralama anlamı İng. well-ordering
ß bağıntısının K kümesini iyice sıralama'sı (i) ß nin K kümesinde bağlaşık olması, (ii) K nin boş olmaya her altkümesinin ß ya göre en küçük bir öğesi olması demektir.II Ör.''Küçük ya da eşit olma" (...) bağıntısı her doğal sayı kümesini iyice sıralar, v herhangi bir sıral sayı olduğunda, (…) bağıntısı v yü iyice sıralar.