交换律

$$A \cup B = B \cup A$$ （并集满足交换律）(6.1)
$A \cap B = B \cap A$ （交集满足交换律）

直接由定义可得

幂等律

$$A \cup A = A$$ （并集满足幂等性）(6.2)
$A \cap A = A$ （交集满足幂等性）

同一律

$$A \cup \emptyset = A$$ ( $\emptyset$ 是关于并集的单位元）(6.3)
$A \cap U = A$ ( $U$ 是关于交集的单位元）

补余律

$$A \cup \bar{A} = U \quad (6.4)$$

$$A \cap \bar{A} = \emptyset$$

图 6.3