【数据与算法】【基础知识】二元关系

性质

性质	特点
自反性	对a∈M,有(a,a)∈R
反自反性	对a∈M,有(a,a)不∈R
对称性	当且仅当(a,b)∈R,有(b,a)∈R
反对称性	若(a,b)∈R且(b,a)∈R必有a=b
传递性	若(a,b)∈R,(b,c)∈R,(a,c)∈R

---

关系

关系	特点
等价关系	自反性+对称性+传递性
偏序关系	自反性+反对称性+传递性
拟序关系	反自反性+反对称性+传递性
全序关系	偏序且任意a,b有(a,b)∈R或(b,a)∈R

---

ADT

Abstract Data Type

ADT抽象数据类型名
{
数据对象
数据关系
基本操作
基本操作名（参数表）
初始条件
结果操作
}ADT抽象数据类型名

---