由于离散数学期中过于拉跨，专门开贴记录相关知识点。
关系
三个定理
- 如果\(A_1\subseteq A_2\)则有\(R(A_1)\subset R(A_2)\)
- \(R(A_1\cup A_2)=R(A_1)\cup R(A_2)\)
- 重点： \(R(A_1\cap A_2)\subseteq R(A_1)\cap R(A_2)\)
整除关系 定义整除关系\(a|b\)为：\(a\)能整除\(b\)，如\(3|6\)，画哈塞图表示（哈塞图无向），则为上面为被整除的数，下面为除数。对于定义在集合\(A=\{1,3,6,9,15,45\}\)上的哈塞图如下：