total order：全序（关系）。在数学/计算机科学中，指一种排序关系，使得集合中任意两个元素都可比较（要么 (a \le b)，要么 (b \le a)），并且满足自反性、反对称性、传递性。
（另有相关含义如“总订单/总额订购”在商业语境中也会出现，但此处以最常见的数学含义为主。）
/ˈtoʊtəl ˈɔːrdər/
A list of numbers has a total order.
一列数字具有全序关系。
In a total order, any two elements are comparable, which makes sorting well-defined.
在全序中，任意两个元素都可比较，因此“排序”这一操作有明确的定义。
total 来自拉丁语 totālis，意为“整体的、全部的”；order 来自拉丁语 ordo，意为“排列、次序”。组合成 total order，字面意思是“完全的次序/完整的排序”，引申为“对任意两元素都能给出先后关系的排序结构”。
Select Language