Demonstração com inclusão em ambas direções:

[cleto100]

A e B são subconjuntos de S. Demonstre as seguintes identidades mostrando a inclusão em ambas as direções:
(A∩ B) ∪ (A∩ B') = A

[Walter R]

O que é B'?

[cleto100]

O que é B'?

é complemento de B, ou seja intersecção de A com complemento de B.Meu problema com essa demonstração é argumentar sobre a parte que só tem o A.

[Walter R]

\((A\cap B)\cup (A \cap B')=(A\cap B)\cup (A-B)=A\)