根据补集的定义,∁uA={x|x∈U且x∉A},B-A={x|x∈B且x∉A}
A∩∁UA=∅
A∪∁UA=U
De Morgan定律
摩根定律,又叫反演律,用文字语言可以简单的叙述为:两个集合的交集的补集等于它们各自补集的并集,两个集合的并集的补集等于它们各自补集的交集。
若集合A、B是全集U的两个子集,则以下关系恒成立:
(1)∁U(A∩B)=(∁UA)∪(∁UB),即“交之补”等于“补之并”;
(2)∁U(A∪B)=(∁UA)∩(∁UB),即“并之补”等于“补之交”。