Skip to main content

basic laws of sets

lawconditions
Idempotent lawA∪A=AA∩A=AA \cup A = A \\ A \cap A = A
Commutative lawA∪B=B∪AA∩B=B∩AA \cup B = B \cup A \\ A \cap B = B \cap A
Associative law(A∪B)∪C=A∪(B∪C)(A∩B)∩C=A∩(B∩C)(A \cup B) \cup C = A \cup (B \cup C ) \\ (A \cap B) \cap C = A \cap (B \cap C )
Distributive lawA∪(B∩C)=(A∪B)∩(A∪C)A∩(B∪C)=(A∩B)∪(A∩C)A \cup (B \cap C) = ( A \cup B) \cap ( A \cup C) \\ A \cap (B \cup C) = ( A \cap B) \cup ( A \cap C)
DeMorgan's law(A∪B)c=Ac∩Bc(A∩B)c=Ac∪Bc( A \cup B )^c = A^c \cap B^c \\ ( A \cap B )^c = A^c \cup B^c
identity lawA∪∅=AA∩∅=∅A∪U=UA∩U=AA \cup \emptyset = A \\ A \cap \emptyset = \emptyset \\ A \cup U = U \\ A \cap U = A
compliment lawA∪Ac=UA∩Ac=∅Uc=∅∅c=UA \cup A^c = U \\ A \cap A^c = \emptyset \\ U^c = \emptyset \\ \emptyset^c = U
involution law(Ac)c=A( A^c)^c = A