半序

（代数学名词）

半序一种条件较通常序弱的序关系。满足自反性，传递性，反对称性。设 S 为一集合. S的一个关系 "≥ " 如适合下列条件，则称之为一个半序：