O subconjunto destacado na figura III pode ser expresso como [A ⋂ (B ⋃ C)C] , em que (B...

O subconjunto destacado na figura III pode ser expresso como [A ⋂ (B ⋃ C)^C] , em que (B ⋃ C)^C significa o complementar do conjunto (B ⋃ C) em U.