关系性质的定义

自反性

$$I_A\subseteq R$$

反自反性

$$R\cap I_A=\varnothing$$

---

对称性

$$R=R^{-1}$$

反对称

$$R\cap R^{-1}\subseteq I_A$$

---

传递性

$$R\circ R\subseteq R$$

---

关系性质的保守性

逆运算和交运算的保守性比较好

复合的保守性是最差的

指向原始笔记的链接