集合

可以将集合看成是一个对不同元素的无序收集。

集合恒等式基础

恒等式	解释	恒等式	解释
S U S ≡ S S ∩ S ≡ S	幂等式	A U (B U C) ≡ (A U B) U C A ∩ (B ∩ C) ≡ (A ∩ B) ∩ C	结合律
A U (A ∩ B) ≡ A A ∩ (A U B) ≡ A	合并	A U (B ∩ C) ≡ (A U B) ∩ (A U C) A ∩ (B U C) ≡ (A ∩ B) U (A ∩ C)	分配律
A U B ≡ B U A A ∩ B ≡ B ∩ A	交换律	A - (B U C) ≡ (A - B) ∩ (A - C) A - (B ∩ C) ≡ (A - B) U (A - C)	摩根律