Thứ tự toàn phần

Trong toán học, thứ tự toàn phần hay thứ tự tuyến tính là thứ tự riêng phần mà mọi hai phần tử đều so sánh được với nhau. Nghĩa là, nó là quan hệ hai ngôi  trên tập hợp  thoả mãn các điều kiện sau với mọi  và  thuộc :
#  (phản xạ).
# Nếu  và  thì  (bắc cầu).
# Nếu  và  thì  (phản đối xứng).
#  hay  (liên thông mạnh, hay còn gọi là tính toàn phần).
Tính phản xạ (1.) sẽ suy ra ngay từ tính chất (4.), nhưng vẫn thường được viết rõ ra bởi nhiều tác giả để chỉ mối quan hệ với thứ tự riêng phần.loc=Ch.14
Tập hợp đi cùng thứ tự toàn phần được gọi là tập sắp (có) thứ tự toàn phần;p=3 thuật ngữ tập sắp thứ tự đơn lẻ,p=2 tập sắp thứ tự tuyến tính,p=32 hay loset cũng được dùng tuỳ thuộc vào tác giả. Thuật ngữ xích p=3 thường nhắc đến tập con sắp thứ tự toàn phần của tập sắp thứ tự một phần.
Mở rộng của thứ tự riêng phần cho trước thành thứ tự toàn phần được gọi là mở rộng tuyến tính của thứ tự riêng phần đó.

**Thứ tự toàn phần nghiêm ngặt và không nghiêm ngặt**
Thứ tự toàn phần nghiêm ngặt trên tập hợp  là thứ tự riêng phần nghiêm ngặt trên tập  trong đó mọi hai phần tử phân biệt đều so sánh được với nhau. Nghĩa là, thứ tự toàn phần là quan hệ ngôi  trên tập hợp , thoả mãn các điều kiện sau với mọi  và  thuộc :
# Không  (hoàn toàn không phản xạ).
# Nếu  thì không  (bất đối xứng).
# Nếu  và  thì  (bắc cầu).
# Nếu , thì  hoặc  (Tính liên thông).
Tính bất đối xứng suy ra từ tính bắc cầu và tính hoàn toàn không phản xạ; Ngược lại, tính hoàn toàn không phản xạ thu về được từ tính bất đối xứng.
Mỗi thứ tự toàn phần (không nghiêm ngặt)  có thứ tự toàn phần nghiêm ngặt tương ứng , được gọi là thứ tự nghiêm ngặt ứng với , có thể định nghĩa theo một trong hai cách tương đương sau:-  nếu  và  (rút gọn phản xạ).-  nếu không  (tức là  là bù của quan hệ ngược của ).
Ngược lại, bao đóng phản xạ của thứ tự toàn phần nghiêm ngặt  là thứ tự toàn phần không nghiêm ngặt.

**Ví dụ**
 Mọi tập con của tập sắp thứ tự toàn phần X là tập sắp thứ tự toàn phần do thu hẹp thứ tự trên X. - Thứ tự duy nhất trên tập rỗng ∅, là thứ tự toàn phần.- Tập các số đếm hoặc tập các số thứ tự, (và mạnh hơn, tập này có thứ tự tốt).- Nếu X là tập hợp tuỳ ý và f là hàm đơn ánh từ X đến tập sắp thứ tự toàn phần, thì f cảm sinh thứ tự toàn phần trên X bằng cách định nghĩa x1 ≤ x2 khi và chỉ khi f(x1) ≤ f(x2).- Thứ tự từ điển trên tích Đề-các của họ các tập sắp thứ tự toàn phần, và được sắp chỉ số theo thứ tự tốt, thì chính nó là thứ tự toàn phần.  - Tập các số thực được sắp theo thứ tự thông thường "nhỏ hơn hoặc bằng" (≤) hoặc "lớn hơn hoặc bằng" (≥) là tập sắp thứ tự toàn phần. Bởi mọi tập con của tập sắp thứ tự toàn phần cũng sắp thứ tự toàn phần, nên các tập như số tự nhiên, số nguyên và số hữu tỉ đều có thứ tự toàn phần. Mỗi tập này đều có thể chứng minh là "ví dụ ban đầu" duy nhất (xê xích đẳng cấu thứ tự) của tập thứ tự toàn phần cho một số tính chất, (ở đây, thứ tự toàn phần A là ban đầu cho một tính chất nếu như B có tính chất đó thì có đẳng cấu thứ tự từ A sang tập con của B):date=March 2021
** Tập các số tự nhiên lập thành tập sắp thứ tự toàn phần ban đầu không có cận trên.
** Tập các số nguyên lập thành tập sắp thứ tự toàn phần ban đầu không có cận trên hay cận dưới.
** Tập các số hữu tỉ lập thành tập sắp thứ tự toàn phần ban đầu có tính trù mật trong các số thực. Hơn nữa, rút gọn phản xạ  là lớn hơn, thì ta sẽ nhắc tới tô pô thứ tự trên N cảm sinh bởi  (trong trường hợp này chúng là một, nhưng trong tổng quát thì sẽ không luôn như thế).
Tô pô thứ tự cảm sinh bởi thứ tự toàn phần có thể chứng minh là không gian chuẩn tắc.

**Tính đầy đủ**
Tập sắp thứ tự toàn phần được gọi là đầy đủ nếu mọi tập con không rỗng có cận trên thì sẽ có cận trên nhỏ nhất. Ví dụ chẳng hạn, tập các số thực R đầy đủ nhưng tập các số hữu tỉ Q thì không. Bên cạnh đó, một số khái niệm của tính đầy đủ không còn đúng khi bị thu hẹp tập hợp. Ví dụ chẳng hạn, trên tập các số thực có một tính chất của quan hệ ≤ là mọi tập con không rỗng S của R có cận trên thuộc R sẽ có cận trên nhỏ nhất (hay còn gọi là supremum) thuộc R. Tuy nhiên đối với số hữu tỉ, giá trị supremum không nhất phải là số hữu tỉ, do đó tính chất này không còn đúng khi thu hẹp quan hệ ≤ về các số hữu tỉ.
Có một số kết quả liên hệ tính chất của tô pô thứ tự với tính đầy đủ của X:- Nếu tô pô thứ tự trên X có tính liên thông, thì X đầy đủ.- X liên thông dưới tô pô thứ tự khi và chỉ khi nó đầy đủ và không có khe hở (gap) nào trong X (khe hở tức là cho hai điểm a và b thuộc X với a n, mỗi trong số này sẽ biến không gian thành không gian vectơ được sắp.
Hàm thực n biến định nghĩa trên tập con của Rn sẽ đồng thời định nghĩa thứ tự yếu nghiêm ngặt và tiền thứ tự toàn phần tương ứng trên tập con đó.

**Số các quan hệ thứ tự toàn phần**
Số các quan hệ thứ tự toàn phần trên tập chứa n phần tử nằm trong dãy số sau A000142

**Các cấu trúc có liên quan**
Quan hệ hai ngôi có tính phản đối xứng, bắc cầu và phản xạ (nhưng không nhất thiết phải toàn phần) là quan hệ thứ tự riêng phần.
Nhóm khi đi kèm thứ tự toàn phần thì được gọi là nhóm sắp thứ tự toàn phần.

**Xem thêm**
 Vành Artin- Đường Countryman- Lý thuyết thứ tự- Hoán vị- Thứ tự tiền tố- Bài toán Suslin- Thứ tự tốt

**Chú thích**

**Tham khảo**
  year=1967 -  year=1990 - year=1963- George Grätzer (1971). Lattice theory: first concepts and distributive lattices. W. H. Freeman and Co. 0-7167-0442-0-  year=1968 - John G. Hocking and Gail S. Young (1961). Topology. Corrected reprint, Dover, 1988.  0-486-65676-4-  date = 1982- author-link=Gunther Schmidt 

**Liên kết ngoài**
Thể loại:Quan hệ hai ngôi
Thể loại:Lý thuyết thứ tự
Thể loại:Lý thuyết tập hợp