==1.1.3. Equivalencias de conjuntos==
Las "equivalencias de conjuntos" son muy utiles para reemplazar expresiones con operaciones a otras mas simples o convenientes. Por ejemplo, la igualdad external image mimetex.cgi?A%20%5Ccup%20B%20=%20B%20%5Ccup%20A%20 es una equivalencia de conjuntos. A continuacion se presentara algunas equivalencia más frecuentes:
Leyes conmutativas
external image mimetex.cgi?A%20%5Ccup%20B%20=%20B%20%5Ccup%20A%20, external image mimetex.cgi?A%20%5Ccap%20B%20=%20B%20%5Ccap%20A%20.

Leyes distributivas
external image mimetex.cgi?A%20%5Ccup%20(B%20%5Ccap%20%20C)%20=%20(A%20%5Ccup%20B)%20%5Ccap%20(A%20%5Ccup%20C)%20,
external image mimetex.cgi?A%20%5Ccap%20(B%20%5Ccup%20C)%20=%20(A%20%5Ccap%20B)%20%5Ccup%20(A%20%5Ccap%20C)%20%20%20%20.


Leyes de De Morgan
external image mimetex.cgi?(A%20%5Ccup%20B)%5E%7Bc%7D%20=%20A%5E%7Bc%7D%20%5Ccap%20B%5E%7Bc%7D%20,
external image mimetex.cgi?(A%20%5Ccap%20B)%5E%7Bc%7D%20=%20A%5E%7Bc%7D%20%5Ccup%20B%5E%7Bc%7D%20.

Doble complemento
external image mimetex.cgi?A%5E%7Bc%5E%7Bc%7D%7D%20=%20A.