신흥철 교수의 이산 수학 7강: 집합의 대수 법칙, 집합의 분할
4. 집합의 대수 법칙 (U - T, Ø - F, ^ - ∩, v - ∪, ~ - `) 집합 대수법칙 A∪Ø=A, A∩U=A 항등법칙(Identity Law) A∪U=U, A∩Ø=Ø 지배법칙(Domination Law) A∪A=A, A∩A=A 멱등법칙(Idempotent Law) A∪B=B∪A, A∩B=B∩A 교환법칙(Commutative Law) A∪(B∪C)=(A∪B)∪C A∩(B∩C)=(A∩B)∩C 결합법칙(Associative Law) A∪(B∩C)=(A∪B)∩(A∪C) A∩(B∪C)=(A∩B)∪(A∩C) A×(B∩C)=(A×B)∩(A×C) A×(B∪C)=(A×B)∪(A×C) 분배법칙(Distribute Law) (A')'=A 이중 보법칙(Double Negation Law) A∪A'=U, A∩A..