离散数学-二元关系

二元关系

1. 关系的定义：设A，B为两个非空集合，称A$\times$B的任意子集R从A到B的一个二元关系，简称关系。其中，A称为关系R的前域，B称为关系R的后域。如果A=B，则称R为A上的二元关系。
2. 关系的表示
   2.1 集合表示法
   2.2 图形表示法
   2.3 矩阵表示法
3. 关系的运算
   3.1 并运算
   3.2 交运算
   3.3 差运算
   3.4 补运算
   3.5 复合运算
   3.6 逆运算
   3.7 幂运算
4. 关系的运算定律
   4.1 复合运算的运算定律
   4.1.1 结合律(R$\circ$S)$\circ$T=R$\circ$(S$\circ$T)
   4.1.2 同一律I_A$\circ$R=R
   4.1.3 分配律
   （1）R$\circ$(S₁$\cup$S₂)=(R$\cup$S₁)$\circ$(R$\cup$