De acordo com as leis de De Morgan, o complementar da união é igual a intersecção dos complementares. Assim, dado um conjunto X, seja X^c o seu complementar em relação ao conjunto universo. Considerando V = {a, e, i, o, u} o conjunto universo, sejam os subconjuntos A = {a, e} e B = {o, u}. O conjunto A^c ∩ B^c é igual ao conjunto