是研究捕获数学排序的直觉概念的各种二元关系的数学分支。
背景和动机.次序无所不在——至少在数学和相关领域比如计算机科学是这样。你典型遇到的第一个次序是小学数学教育中的自然数的次序。这个直觉概念很容易扩展到其他数的集合的排序，比如整数和实数。实际上大于或小于另一个数的概念一般是数系统的基本直觉（尽管你通常还感兴趣于两个数实际的差，它不能由这个次序给出）。排序的另一个非常熟悉的例子是词典中词典次序。上述类型的次序有特殊性质：每个元素都是可以“比较”于另一个元素，就是说，它或者大于、