Sejam U um conjunto não- vazio e $A\subset U,B\subset U$. Usando apenas as definições de igualdade, reunião, intersecção e complementar, prove que: 

• I. Se $A\cap B=\varnothing$, então $B\subset A^C$.

• II. $B$ \ $A^C=B\cap A$.