Thứ_tự_tốt

Trong toán học, một một quan hệ thứ tự tốt (hoặc một thứ tự tốt) trên một tập S là một thứ tự toàn phần trên S sao cho mọi tập con không rỗng của S đều có một phần tử bé nhất.[1]