A está contido em B.
Olá, Regina. Tudo bem?
Primeiro temos que entender o que significa B - A. Trata-se é o complementar de A em relação a B.
Em outras palavras, B - A denota o conjunto que é composto por todos os elementos de B que não estão em A.
Entendido isso, precisamos mostrar que A U (B - A) = B. Como isso é feito? Bom, desenhando é fácil de se convencer. Mais formalmente, a igualdade entre dois conjuntos pode ser demonstrada da seguinte maneira:
Precisamos mostrar que:
A U (B - A) está contido em B (i)
e também
B está contido em A U (B - A) (ii)
Então vamos mostrar (i) e (ii):
(i) Seja y um elemento qualquer de A U (B - A)
Pela definição de união de conjuntos, y pertence a pelo menos um de {A, (B - A)}.
Em ambos os casos, como A está contido em B, y ∈ B.
Como y é um elemento qualquer de A U (B - A), podemos concluir que TODOS os elementos de A U (B - A) estão contidos em B. Portanto, [A U (B - A)] ⊂ B.
(ii) Seja x um elemento qualquer de B
Temos apenas duas opções:
Ou x ∈ (B - A) ou x ∈ A, já que A está contido em B.
Ora, então é claro que x ∈ [A U (B - A)].
Analogamente ao caso (i), como x é um elemento qualquer de B, concluímos que B ⊂ [A U (B - A)]
Pronto! (i) e (ii) são verdade se, e somente se, [A U (B - A)] = B!
Como eu disse, é fácil ver isso se fizermos um desenho genérico no papel. Além disso, suponha que B é, por exemplo, o conjunto universo. Então B - A é exatamente o complementar de A. Segue direto dos conceitos mais básicos de teoria dos conjuntos que A unido com seu complementar resulta no universo (isso é, B).
Espero que não tenha ficado formal demais e que tenha ajudado.
Me pergunte caso não tenha entendido alguma passagem. Um abraço!
