集合的运算律.md
不难证明,对于任意集合$A$,$B$,$C$有如下运算律:
- $A\cap A=A$,$A\cup A=A$ (幂等律)
- $A\cap B=B\cap A$,$A\cup B=B\cup A$(交换律)
- $(A\cap B)\cap C = A \cap (B\cap C)$ (结合律)
- $(A\cup B)\cup C = A\cup (B\cup C)$
- $A\cap(B\cup C) = (A\cap B)\cup (A\cap C)$ (分配律)
- $A\cup(B\cap C) = (A\cup B) \cap (A\cup C)$
- $A\cap (A\cup B) = A, A\cup (A\cap B) = A$ (吸收律)
- $A\cap \overline A = \emptyset, A\cup\overline A=E,\overline{\overline A}=A$
- $(\overline{A\cap B})=\overline A \cup \overline B, \overline{A\cup B}=\overline A \cap \overline B$(徳摩根律)
- $E\cap A=A, \emptyset\cup A=A$(同一律)
- $\emptyset\cap A=\emptyset, E\cup A=E$(零一律)