| 序 ordering 集合论用语。定义在集x上的一个二元关系R。以满足传递性为基本特征，即对于x中的任何元素a、 b、 c，aRb且bRc则aRc。序关系R按照其是否满足反射性(即aRa)可划分为强弱两类。弱序满足反射性，这种序关系通常用≤表示;强序满足非反射性(即(aRa))，这种序关系通常用<表示。序关系一般还满足其他附加条件，因而可以进一步细分为强弱拟序、半序、全序、基序、良序、备序等等。设a、b、c为集x中的任意元素，则满足下列条件的序关系称为：
| 弱(≤) | 强(<) | 拟
序 | 1. 传递性：
a≤b且b≤c
则a≤c
2. 反射性：a≤a |
缺 | 半
序 | 1. 拟序
2. 反对称性：
a≤b且b≤a
则a=b | 1. 传递性：
a<b且b<c
则a<c
2. 非反射性：
(a<a)
| 全
序 | 1. 半序(弱)：
2. 强连结性：
a≤b或b≤a
| 1. 半序(强)：
2. 连结性：
a=\\ b则a<b
或b<a | |
| ≤(或<)称为x上的 | 如 果 | 基 序
良 序
备 序 | u总有极小元素
u总有最小元素
u有下界则必有最大下界 | |
|