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 formula_1 trên tập hợp formula_2 thoả mãn các điều kiện sau với mọi formula_3 và formula_4 thuộc formula_2:
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.
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; thuật ngữ tập sắp thứ tự đơn lẻ, tập sắp thứ tự tuyến tính, hay loset cũng được dùng tuỳ thuộc vào tác giả. Thuật ngữ "xích" 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.
 trên tập hợp formula_2 là thứ tự riêng phần nghiêm ngặt trên tập formula_2 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 formula_17 trên tập hợp formula_2, thoả mãn các điều kiện sau với mọi formula_3 và formula_4 thuộc formula_2:
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) formula_1 có thứ tự toàn phần nghiêm ngặt tương ứng formula_17, được gọi là "thứ tự nghiêm ngặt" ứng với formula_1, có thể định nghĩa theo một trong hai cách tương đương sau:
Ngược lại, bao đóng phản xạ của thứ tự toàn phần nghiêm ngặt formula_17 là thứ tự toàn phần không nghiêm ngặt.
Xích.
Thuật ngữ xích đôi khi được dùng cho tập sắp thứ tự toàn phần, nhưng nó thường dùng để nhắc đến tập con sắp thứ tự toàn phần của tập sắp thứ tự riêng phần. Thường thì tập sắp thứ tự riêng phần đó là tập các tập con của một tập hợp cho trước và được xếp thứ tự theo bao hàm, và từ xích được dùng để mô tả một số tính chất đặc biệt của tập các tập con sắp thứ tự toàn phần.
Một ví dụ thường dùng của "xích" khi nhắc đến tập con sắp thứ tự toàn phần là bổ đề Zorn, bổ đề này phát biểu rằng nếu mọi xích trong tập sắp thứ tự riêng phần có cận trên thuộc , thì chứa ít nhất một phần tử tối đại. Bổ đề Zorn thường được dùng khi là tập của các tập con; trong trường hợp này, cận trên thu được bằng cách chứng minh hợp của các phần tử của xích trong cũng nằm trong . Đây là cách thường dùng để chứng minh một không gian vectơ có cơ sở Hamel và chứng minh vành có ideal tối đại.
Trong một số ngữ cảnh, các xích được coi là đẳng cấu thứ tự với các số tự nhiên đi kèm thứ tự thông thường (hoặc thứ tự ngược của nó. Khi đó, ta có thể đồng nhất xích với một dãy đơn điệu, và gọi nó là xích tăng dần hoặc xích giảm dần tương ứng với tính đơn điệu của dãy số
Tập sắp thứ tự riêng phần thoả mãn điều kiện xích giảm dần nếu mọi xích giảm dần tự ổn định (nghĩa là khi vượt qua một chỉ số nào đó, tất cả các phần tử tiếp theo trong dãy đều bằng nhau). Lấy ví dụ, thứ tự được gọi là lập tốt nếu nó có điều kiện xích giảm dần. Tương tự như vậy, điều kiện xích tăng dần nghĩa là mọi xích tăng dần sẽ tự ổn định. Ví dụ, vành Noether là vành có các ideal thoả mãn điều kiện xích tăng dần.
Trong các ngữ cảnh khác, chỉ có xích là tập hợp hữu hạn mới được xét. Trong trường hợp này, ta gọi nó là xích hữu hạn, hoặc gọn ngắn đi là xích. Khi đó, độ dài của xích là số bất đẳng thức (hay số bao hàm) giữa các phần tử liên tiếp trong xích. Bởi chỉ có xích là tập hợp hữu hạn được xét, nên độ dài bằng số các phần tử trong xích trừ đi một. Do đó tập đơn điểm là xích có độ dài không, và cặp được sắp là xích có độ dài một. Chiều của không gian thường được định nghĩa là độ dài cực đại của xích của các không con. Ví dụ chẳng hạn, chiều của không gian vectơ là độ dài cực đại của xích của các không gian con tuyến tính và số chiều Krull của vành giao hoán là độ dài cực đại của xích các ideal nguyên tố.
Từ "xích" cũng có thể dùng cho tập sắp thứ tự toàn phần của các cấu trúc toán học khác không nhất thiết phải là tập sắp thứ tự riêng phần. Một ví dụ là xích chính quy của các đa thức và một ví dụ khác là việc coi xích là chuỗi các bước trong một đồ thị.
Khái niệm mở rộng.
Lý thuyết dàn.
Ta có thể định nghĩa thứ tự toàn phần theo dàn như sau
Ta viết "a" ≤ "b" khi và chỉ khi formula_43. Do đó tập sắp thứ tự toàn phần là dàn phân phối.
Lý thuyết phạm trù.
Tập sắp thứ tự toàn phần lập thành phạm trù con đủ ("full subcategory") của phạm trù của các tập hợp sắp thứ tự riêng phần, trong đó cấu xạ là các ánh xạ bảo toàn thứ tự, tức là ánh xạ "f" sao cho nếu "a" ≤ "b" thì "f"("a") ≤ "f"("b").
Song ánh giữa hai tập sắp thứ tự toàn phần mà bảo toàn thứ tự thì được gọi là đẳng cấu trong phạm trù này. 
Tô pô thứ tự.
Cho bất kỳ tập hợp sắp thứ tự toàn phần "X", ta có thể định nghĩa "các khoảng mở" ("a", "b") = {"x" : "a" &lt; "x" và "x" &lt; "b"}, (−∞, "b") = {"x" : "x" &lt; "b"}, ("a", ∞) = {"x" : "a" &lt; "x"} và (−∞, ∞) = "X". Ta có thể dùng các khoảng mở này để định nghĩa tô pô trên bất kỳ được sắp, hình thành nên tô pô thứ tự.
Khi có nhiều hơn một thứ tự được dùng trên cùng một tập hợp, ta cần nói rõ về tô pô thứ tự được cảm sinh bởi thứ tự nào. Ví dụ chẳng hạn, nếu N là tập các số tự nhiên, &lt; là nhỏ hơn và &gt; là lớn hơn, thì ta sẽ nhắc tới tô pô thứ tự trên N cảm sinh bởi &lt; và tô pô thứ tự trên N cảm sinh bởi &gt; (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:
Tập sắp thứ tự toàn phần (cùng với tô pô thứ tự của nó) là dàn đầy đủ và compact. Các ví dụ bao gồm khoảng đóng của các số thực (chẳng hạn như khoảng đơn vị [0,1]) và đường số thực mở rộng. Có các phép đồng phôi bảo toàn thứ tự giữa các ví dụ này.
Tổng của các thứ tự.
Cho bất kỳ hai thứ tự toàn phần không giao nhau formula_44 và formula_45, có thứ tự tự nhiên formula_46 trên tập formula_47, được gọi là tổng của hai thứ tự và đôi khi được ký ký hiệu là formula_48: 
Theo trực giác, có nghĩa là các phần tử của tập thứ hai nằm trên các phần tử của tập thứ nhất.
Tổng quát hơn, nếu formula_57 là tập chỉ số sắp thứ tự toàn phần, và với mỗi formula_58, cấu trúc formula_59 có thứ tự tuyến tính, và các formula_60 không giao nhau đôi nhau, thì thứ tự toàn phần tự nhiên trên formula_61 được định nghĩa bởi
Tính quyết định được.
Lý thuyết logic bậc nhất của các thứ tự toàn phần có tính quyết định được, tức là có thuật toán quyết định xem liệu một mệnh đề bậc nhất có đúng cho mọi thứ tự toàn phần. Sử dụng tính dẫn xuất được trong S2S, lý thuyết monadic bậc hai của các thứ tự toàn phần đếm được cũng quyết định được.
Tích Đề-các của các thứ tự toàn phần.
Theo sức tăng dần (tức là giảm dần số cặp đi), ba trong số các thứ tự khả thi trên tích Đề-các của hai tập sắp thứ tự toàn phần là:
Cả ba cái này đều có thể định nghĩa cho tích Đề-các của nhiều hơn hai tập hợp.
Khi áp dụng với không gian vectơ R"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 R"n" 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 
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.