(1) A∪B=B∪A
A∩B=B∩A
(2) (A∪B)∪C=A∪(B∪C)
(A∩B)∩C=A∩(B∩C)
(3) A∪(B∩C)=(A∪B)∩(A∪C)
A∩(B∪C)=(A∩B)∪(A∩C)
(4) A⊂B ⇒ AB=A
B⊂A ⇒ (An)B=φ
(5) A⊂B のとき,次の式が成立する。
1) A∪(An)B=B
2) A∩(An)B=φ
(6) {((An)B)n}B=A
(7) 1) {(A∩B)n}C=(An)C∪(Bn)C
2) {(A∪B)n}C=(An)C∩(Bn)C
(8) A⊂B⊂C のとき,次の式が成立する。
1) A∩C⊂B∩C
2) A∪C⊂B∪C
3) (Bn)C⊂(An)C
(9) A⊂B⊂C のとき,A⊂C
証明は下のリンク先にあります。
(1) A∩B=Φ ⇒ n(A∪B)=n(A)+n(B)
(2) 1) n(A)+n(An∩B)=n(A∪B)
2) n(A∩B)+n(An∩B)=n(B)
(3) 1) n(A)+n(B)=n(A∩B)+n(A∪B)
2) n(A)+n(An)=n(U)
(4) 1) n(A∪B)=n(A)+n(B)−n(A∩B)
2) n(A∪B∪C)=n(A)+n(B)+n(C)
−n(A∩B)−n(B∩C)−n(C∩A)
+n(A∩B∩C)
(5) n(A*B)=n(A)×n(B)
証明は下のリンク先にあります。
|