Demostración: Suponga que no. Es decir, acepte que existen conjuntos A y B tales que A ฀ B y B no son disjuntos. [Debemos obtener una contradicción...

Demostración: Suponga que no. Es decir, acepte que existen conjuntos A y B tales que A ฀ B y B no son disjuntos. [Debemos obtener una contradicción.] Entonces (A ฀ B) B = y así existe un elemento x en (A ฀ B) B. Por definición de intersección, x A ฀ B y x B y por definición de diferencia, x A y x B. Así que x B y también x B, que es una contradicción. Por tanto, es falsa la suposición y concluimos que A ฀ B y B son disjuntos.