ß 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.
TDK Mantık Terimleri Sözlüğü