离散数学知识点总结（11）“关系” 知识的总结 ＜2＞：关系的复合运算、求逆运算

关系复合的基本概念

关系符合的计算方法

有向图法

枚举法

谓词公式法

• 谓词公式法的计算过程就是函数的带入过程
  

矩阵法（扩展部分）

关系复合运算的性质

满足结合律，不满足交换律：$R○(S○T)=(R○S)○T$

$R○(S\cup T)=(R○S)\cup (R○T)$

$R○(S\cap T)\subseteq (R○S)\cap (R○T)$

$R○I_B=I_A○R=R$

关系的乘幂

• $I_A$ 代表的是 $A$ 和自身的关系

关系的求逆运算

关系求逆运算的计算方法

求逆运算性质

$(R^C{)}^C=R$

$(R\cup S{)}^C=R^C\cup S^C$

$(R\cap S{)}^C=R^C\cap S^C$

$(R-S{)}^C=R^C-S^C$

$(R\subseteq S)\equiv R^C\subseteq S^C$

$(\sim R{)}^C=\sim R^C$

$(R○S{)}^C=S^C○R^C$

$iff{R}^C=R$， $R$ 是对称的