ection::::特性.数学上表示为：例如：大于等于具有传递关系：若formula_2且formula_3则formula_4。传递关系举例：满足自反性的传递关系称为预序关系。满足反对称性的预序关系称为偏序关系。满足对称性的预序关系称为等价关系。