离散数学补充

概念

1. 集合，元素
2. 有序对
3. 有序对的相等
4. 笛卡尔积： $A\times B=\{<x,y>|x\in A,y\in B\}$
5. 关系： $xRy$
6. 定义域、值域：
   $\mathrm{dom}R=\{x|\exists y\in B,<x,y>\in R\}$
   $\mathrm{ran}R=\{y|\exists x\in A,<x,y>\in R\}$
7. 关系的性质
   
   • 自反性
   • 对称性
   • 传递性
   • 反自反性 $\forall x,x\mathbb R x$
   • 反对称性 $\forall x,y, \text{if }xRy,yRx\Rightarrow x=y$
8. 等价关系
9. 等价类
10. 等价类性质
    
    • $a\in[a]$
    • $[a]=[b]\Leftrightarrow aRb$
    • $[a]\cap[b]=\emptyset\Leftrightarrow a\mathbb Rb$