Demostración: Sean A y B cualesquiera dos subconjuntos de un conjunto universal. Por definición de , demuestre que A B B A es equivalente a demostrar que (A ฀ B) (B ฀ A) (B ฀ A) (A ฀ B). Pero esto se tiene inmediatamente de la ley conmutativa para .