1 Axiomas del álgebra de conjuntosAxioma de idempotencia Axioma de asociatividad Axioma de conmutatividad Axioma de distributividad Axioma de identidad Axioma del complemento Leyes de Morgan

2 Axioma de idempotenciaEn la unión A U A = A En la intersección A ∩ A = A

3 Axioma de asociatividadEn la unión (A U B) U C = A U (B U C) En la intersección (A ∩ B) ∩ C = A ∩ (B ∩ C)

4 Axioma de conmutatividadEn la unión A U B = B U A En la intersección A ∩ B = B ∩ A

5 Axioma de distributividadA U (B ∩ C) = (A U B) ∩ (A U C) A ∩ (B U C) = (A ∩ B) U (A ∩ C)

6 Axioma de identidad En la unión A U Ø = A A U U = U En la intersección

7 Axioma del complementoA U Ac = U A ∩ Ac = Ø (Ac)c = A Uc = Ø Øc = U

8 Leyes de Morgan (A U B)c = Ac ∩ Bc (A ∩ B)c = Ac U Bc