(ITA - 2003 - 2 FASE)Sejam U um conjunto no-vazio

(ITA - 2003 - 2 FASE) Sejam U um conjunto não-vazio e \(A\sqsubset U\), \(B\sqsubset U\). Usando apenas as definições de igualdade, reunião, intersecção e complementar, prove que:

I. Se \(A \cap B\) = Ø, então \(B\sqsubset A^{C}\).

II. B \ A^C = \(B\cap A\).