Asociatividad ( A ∩ B ) ∩ C= ( A ∩C ) ∩B

( A ∪ B ) ∪C=( A ∪C ) ∪ B
B´ ∩ ( A ∩C )= ( A ∩ B ´ ) ∩C= A ∩ ( C ∩ B ´ )
[ ( A ∩C ´ ) ∪ B ] ∪C=[ ( A ∩C ´ ) ∪C ] ∪ B=( A ∩C ´ ) ∪(C ∪ B)
Absorción Total A ∩ ( A ∪ B )= A
A ∪ ( A ∩B )= A
( C ´ ∩ B ) ∪C ´=C ´
( B∪ C ´ ) ∩ B=B
A ´ ∩ [ ( C−B ) ∪ A ´ ] =A ´
Complemento A ∪ A ´=U
A ∩ A ´ =∅
C ´ ∪ C=U
( B∪ C ) ´ ∩ ¿
U ´ =∅
∅ ´=U
Conmutatividad A ∩ B=B ∩ A
A ∪ B=B ∪ A
A ∆ B=B ∆ A
B´ ∩ C=C ∩B ´
( A ∩ B ) ∪C=C ∪ ( A ∩ B)
Absorción Parcial A ∩ ( A ´ ∪B )= A ∩ B
A ∪ ( A ´ ∩B )= A ∪ B
B´ ∪ ( B ∩ A )=B ´ ∪ A
A ´ ∩ ( C ∪ A ) =A ´ ∩ C
C ´ ∩ [ ( A−B ) ∪ C ] =C ´ ∩ ( A−B )
Distributividad A ∩ ( B∪C )=( A ∩ B ) ∪ ( A ∩ C )
A ∪ ( B ∩C )=( A ∪ B ) ∩ ( A ∪ C )
( C ∩ B ´ ) ∪ A ´ =(C ∪ A ´ )∩(B ´ ∪ A ´ )
[ ( B∪ C ) ∩ A ´ ] ∪ C=[( B∪C )∪ C ]∩( A ´ ∪C)
Diferencia Relativa A−B= A ∩ B´
B−( C ∪ A ) ´ =B∩ (C ∪ A )
[ ( B∩ A )−C ] =( B∩ A ) ∩ C ´
De Morgan (Inverso) A ´ ∪ B ´ =( A ∩ B ) ´
B∪ C ´=( B ´ ∩C ) ´
A ´ ∩ ( B∩C )= [ A ∪ ( B ∩C ) ´ ] ´
( A ∩C ) ∩ ( C ´ ∩ B ) ´ =[ ( A ∩C ) ´ ∪ (C ´ ∩B ) ] ´
Identidad A ∪ U=U
A ∩U =A
A ∪ ( A ∩B ´ )=U
[ A ´ ∪ ( B ∪C ) ] ´ ∪ U =U
( C ∩ A ) ´ ∩U =( C ∩ A ) ´
A ∪ ∅= A
A ∩∅=∅
∅ ∪ [ A−( C ∪ A ) ]=[ A− (C ∪ A ) ]
[ B∪ ( A−B ) ] ∩ ∅=∅
Equivalencia A−B= A ∩ B´
∅ ´=U
Idempotencia ∅ ∩∅=∅
U ∩U=U
A ∪ A= A
Elemento Neutro A ´ ∩U= A ´
Involutiva ( A ´ ) ´= A ´ ´ = A
[ ( A ∪ B ) ´ ] ´ =A ∪B