全序

在数学中，集合 X 上的全序关系（Total order），简称全序、又名线性序（linear order）、简单序（simple order），或（非严格）排序（(non-strict) ordering），是在 X 上的反对称的、传递的和完全的任何二元关系。