n. 25 – DIAGRAMAS DE VENN Foi o matemático inglês John Venn (1834-1923) que criou os diagramas, com o intuito de facilitar a compreensão na relação de união e intersecção entre conjuntos.

John Venn desenvolveu os diagramas no século XIX, ampliando e formalizando desenvolvimentos anteriores de Leibniz e Euler, visto que, o método de Venn superava os sistemas anteriores em termos de clareza e simplicidade. Venn foi o primeiro a formalizar o seu uso e a dotá-lo de um mecanismo de generalização. Embora seja simples construir diagramas de Venn para dois ou três conjuntos, surgem dificuldades quando se tenta usá-los para um número maior. O próprio Venn não se referia aos diagramas como sendo da sua autoria, mas sim como círculos eulerianos, fazendo referência aos diagramas criados por Leonhard Euler no século XVIII. Foi a partir da década de 1960, que os diagramas de Venn eles foram incorporados ao currículo escolar de matemática, na aprendizagem da teoria dos conjuntos e

de funções, Moderna.

como

parte

do

movimento

da Matemática

Vitral no refeitório do Caius College, Universidade de Cambridge, em homenagem a Venn e a seus diagramas.

Fonte: . Acesso em: 20 maio 2017.

Os Diagramas de Venn são frequentemente usados para mostrar relações lógicas entre um número finito de conjuntos:  o retângulo externo representa o conjunto universal, U (o conjunto de todos os elementos possíveis);  os círculos fechados representam os conjuntos distintos de elementos. As propriedades fundamentais de um conjunto podem ser evidenciadas da seguinte forma:  A refere-se à um conjunto de elementos no qual dividimos algumas características definitivas, e podem ser ilustradas com a cor vermelha no interior do círculo denotado por A.

 𝐴∁ , o complemento de A, refere-se ao conjunto contendo todos os elementos no conjunto universal U que não pertencem a A. Isto pode ser ilustrado com a cor vermelha no interior do retângulo, mas fora do círculo A.

Simbolicamente o complementar pode ser representado por: 𝐴∁ , ∁𝐴 e 𝐴

Relações existentes entre dois conjuntos A interseção dos conjuntos 𝐴 e 𝐵, denotados por 𝐴 ∩ 𝐵 refere-se ao conjunto contendo apenas elementos que pertencem ambos 𝐴 e a 𝐵. O que pode ser ilustrado com a cor vermelha, ou seja, a interseção de dois círculos 𝐴 e 𝐵.

Dois conjuntos são ditos como disjuntos se eles não possuem elementos em comum e sua interseção for vazia, denotamos 𝐴 ∩ 𝐵 = ∅.

A união dos conjuntos 𝐴 e 𝐵, denotados 𝐴 ∪ 𝐵, refere-se ao conjunto contendo todos os elementos distintos no qual pertencem à 𝐴 ou 𝐵. Isto pode ser ilustrado com a cor vermelha em ambos os círculos 𝐴 e 𝐵, incluindo sua interseção (desde que todos os elementos da interseção pertencem ambos a 𝐴 e a 𝐵, eles devem ser listados uma única vez quando se estiver descrevendo os elementos da união).

Observe que, a união de A e 𝐴∁ contém o conjunto universal inteiro U. Logo, 𝐴 ∪ 𝐴∁ = 𝑈 .

Como não há elementos comuns a ambos A e 𝐴∁ , temos que estes dois conjuntos são disjuntos e então 𝐴 ∩ 𝐴∁ = ∅.

Observe que: 

a interseção de 𝐴∁ e 𝐵∁ resulta no complemento de 𝐴 ∪ 𝐵.



já a união de 𝐴∁ e 𝐵∁ resulta no complemento de 𝐴 ∩ 𝐵.

Estas propriedades são conhecidas como Leis de De Morgan: (𝐴 ∪ 𝐵)∁ = 𝐴∁ ∩ 𝐵∁ (𝐴 ∩ 𝐵)∁ = 𝐴∁ ∪ 𝐵∁

LEIS DE AUGUSTUS DE MORGAN 1.

O complementar da união de dois conjuntos A e B é a intersecção dos complementares desses conjuntos. (𝐴 ∪ 𝐵)∁ = 𝐴∁ ∩ 𝐵∁

(𝐴 ∪ 𝐵)∁ = { 𝑥 / 𝑥 ∈ 𝑈 (𝐴 ∪ 𝐵)∁ = { 𝑥 / 𝑥 ∈ 𝑈

e

𝑥 ∉ (𝐴 ∪ 𝐵)}

e (𝑥 ∉ 𝐴

(𝐴 ∪ 𝐵)∁ = { 𝑥 / 𝑥 ∈ 𝑈 ˄ ( 𝑥 ∉ 𝐴

e 𝑥 ∉ 𝐵) ˄ 𝑥 ∉ 𝐵)

(𝐴 ∪ 𝐵)∁ = { 𝑥 / (𝑥 ∈ 𝑈 ˄ 𝑥 ∉ 𝐴 ) ˄ ( 𝑥 ∈ 𝑈 ˄ 𝑥 ∉ 𝐵) Logo,

(𝐴 ∪ 𝐵)∁ = { 𝑥 / 𝑥 ∈ 𝐴∁

˄

𝑥 ∈ 𝐵∁ }

(𝐴 ∪ 𝐵)∁ = 𝐴∁ ∩ 𝐵∁

2.

O complementar da união de uma coleção finita de conjuntos é a intersecção dos complementares desses conjuntos. (𝐴1 ∪ 𝐴2 ∪ … ∪ 𝐴𝑛 )∁ = 𝐴1 ∁ ∩ 𝐴2 ∁ ∩ … ∩ 𝐴𝑛 ∁

3.

O complementar da intersecção de dois conjuntos A e B é a união dos complementares desses conjuntos. (𝐴 ∩ 𝐵)∁ = 𝐴∁ ∪ 𝐵∁ (𝐴 ∩ 𝐵)∁ = { 𝑥 / 𝑥 ∈ 𝑈 (𝐴 ∩ 𝐵)∁ = { 𝑥 / 𝑥 ∈ 𝑈

e

𝑥 ∉ (𝐴 ∩ 𝐵)}

e (𝑥 ∉ 𝐴

ou 𝑥 ∉ 𝐵)

(𝐴 ∩ 𝐵)∁ = { 𝑥 / (𝑥 ∈ 𝑈 e 𝑥 ∉ 𝐴) ou (𝑥 ∈ 𝑈 e 𝑥 ∉ 𝐵) (𝐴 ∩ 𝐵)∁ = { 𝑥 / (𝑥 ∈ 𝑈 ˄ 𝑥 ∉ 𝐴 ) ˅ ( 𝑥 ∈ 𝑈 ˄ 𝑥 ∉ 𝐵) Logo,

(𝐴 ∩ 𝐵)∁ = { 𝑥 / 𝑥 ∈ 𝐴∁

ou

𝑥 ∈ 𝐵∁ }

(𝐴 ∩ 𝐵)∁ = 𝐴∁ ∪ 𝐵∁

4.

O complementar da intersecção de uma coleção finita de conjuntos é a união dos complementares desses conjuntos. (𝐴1 ∩ 𝐴2 ∩ … ∩ 𝐴𝑛 )∁ = 𝐴1 ∁ ∪ 𝐴2 ∁ ∪ … ∪ 𝐴𝑛 ∁

Resumindo:

Venn procurou encontrar formas de diagramas capazes de representar mais do que três conjuntos. Desenvolveu também um método geral para qualquer número de conjuntos, em que cada curva sucessiva delimita um conjunto que perpassa todos os outros.

Fonte: https://pt.wikipedia.org/wiki/Diagrama_de_Venn

ÁLGEBRA DE CONJUNTOS Os conjuntos obtidos pela união, intersecção e diferença são obtidos por operações sobre subconjuntos de um determinado conjunto U. Essas operações se comportam de maneira semelhante às operações aritméticas.

Teorema: Sejam A, B e C conjuntos quaisquer, então: a. Associatividade da união: 𝐴 ∪ (𝐵 ∪ 𝐶 ) = (𝐴 ∪ 𝐵) ∪ 𝐶 Seja o conjunto 𝐴 ∪ (𝐵 ∪ 𝐶 ) constituído pelos elementos 𝑥, tais que: 𝑥 ∈ 𝐴 𝑜𝑢 𝑥 ∈ (𝐵 ∪ 𝐶 ) Mas, por definição de 𝐵 ∪ 𝐶: 𝑥 ∈ 𝐴 ˅ (𝑥 ∈ 𝐵 ˅ 𝑥 ∈ 𝐶 ) Analogamente, o conjunto (𝐴 ∪ 𝐵) ∪ 𝐶, constituído pelos elementos 𝑥, tais que: 𝑥 ∈ (𝐴 ∪ 𝐵) 𝑜𝑢 𝑥 ∈ 𝐶 Mas, por definição de 𝐴 ∪ 𝐵: (𝑥 ∈ 𝐴 ˅ 𝑥 ∈ 𝐵) ˅ 𝑥 ∈ 𝐶 Pela Propriedade Associativa da Disjunção temos que (𝑝 ˅ 𝑞) ˅ 𝑟 ⟺ 𝑝 ˅ (𝑞 ˅ 𝑟) Logo, 𝐴 ∪ (𝐵 ∪ 𝐶 ) = (𝐴 ∪ 𝐵) ∪ 𝐶

b. Associatividade da intersecção: 𝐴 ∩ (𝐵 ∩ 𝐶 ) = (𝐴 ∩ 𝐵) ∩ 𝐶 Seja o conjunto 𝐴 ∩ (𝐵 ∩ 𝐶 ) constituído pelos elementos 𝑥, tais que: 𝑥 ∈ 𝐴 𝑒 𝑥 ∈ (𝐵 ∩ 𝐶 ) Mas, por definição de 𝐵 ∩ 𝐶: 𝑥 ∈ 𝐴 ˄ (𝑥 ∈ 𝐵 ˄ 𝑥 ∈ 𝐶 ) Analogamente, o conjunto (𝐴 ∩ 𝐵) ∩ 𝐶, constituído pelos elementos 𝑥, tais que: 𝑥 ∈ (𝐴 ∩ 𝐵) 𝑒 𝑥 ∈ 𝐶 Mas, por definição de 𝐴 ∩ 𝐵: (𝑥 ∈ 𝐴 ˄ 𝑥 ∈ 𝐵) ˄ 𝑥 ∈ 𝐶 Pela Propriedade Associativa da Conjunção temos que (𝑝 ˄ 𝑞) ˄ 𝑟 ⟺ 𝑝 ˄ (𝑞 ˄ 𝑟) Logo, 𝐴 ∩ (𝐵 ∩ 𝐶 ) = (𝐴 ∩ 𝐵) ∩ 𝐶

c.

Comutatividade da união: 𝐴 ∪ 𝐵 = 𝐵 ∪ 𝐴 Pela definição de união de conjuntos temos que: 𝐴 ∪ 𝐵 = { 𝑥 ∈ 𝑈/ 𝑥 ∈ 𝐴 𝑜𝑢 𝑥 ∈ 𝐵} 𝐵 ∪ 𝐴 = { 𝑥 ∈ 𝑈/ 𝑥 ∈ 𝐵 𝑜𝑢 𝑥 ∈ 𝐴}

 𝐴 ∪ 𝐵 é o conjunto dos elementos de 𝑈 que pertencem a 𝐴 ou a 𝐵.  𝐵 ∪ 𝐴 é o conjunto dos elementos de 𝑈 que pertencem a 𝐵 ou a 𝐴. Como a disjunção de proposições goza da propriedade comutativa, temos que: 𝑝 ˅ 𝑞 ⟺ 𝑞 ˅ 𝑝 Logo, 𝐴 ∪ 𝐵 = 𝐵 ∪ 𝐴

d. Comutatividade da intersecção: 𝐴 ∩ 𝐵 = 𝐵 ∩ 𝐴 Pela definição de intersecção de conjuntos temos que: 𝐴 ∩ 𝐵 = { 𝑥 ∈ 𝑈/ 𝑥 ∈ 𝐴 𝑒 𝑥 ∈ 𝐵} 𝐵 ∩ 𝐴 = { 𝑥 ∈ 𝑈/ 𝑥 ∈ 𝐵 𝑒 𝑥 ∈ 𝐴}  𝐴 ∩ 𝐵 é o conjunto dos elementos de 𝑈 que pertencem a 𝐴 e a 𝐵.  𝐵 ∩ 𝐴 é o conjunto dos elementos de 𝑈 que pertencem a 𝐵 e a 𝐴. Como a conjunção de proposições goza da propriedade comutativa, temos que: 𝑝 ˄ 𝑞 ⟺ 𝑞 ˄ 𝑝 Logo, 𝐴 ∩ 𝐵 = 𝐵 ∩ 𝐴

e. Distributividade da união com relação à intersecção: 𝐴 ∪ (𝐵 ∩ 𝐶 ) = (𝐴 ∪ 𝐵 ) ∩ ( 𝐴 ∪ 𝐶 ) Em geral demonstrações de igualdade do tipo: 𝑀 = 𝑁 é feita mostrando que 𝑀 ⊂ 𝑁 𝑒 𝑁 ⊂ 𝑀. Logo, devemos mostrar que: [𝐴 ∪ (𝐵 ∩ 𝐶 )]

⊂ [(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶 )] 𝑒

{ [(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶 )]

i.

[𝐴 ∪ (𝐵 ∩ 𝐶 )]



[𝐴 ∪ (𝐵 ∩ 𝐶 )]

⊂ [(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶 )]

Seja 𝑥 um elemento de 𝐴 ∪ (𝐵 ∩ 𝐶). Então, 𝑥 ∈ 𝐴 ˅ 𝑥 ∈ (𝐵 ∩ 𝐶) Logo, 𝑥 ∈ 𝐴 ˅ ( 𝑥 ∈ 𝐵 ˄ 𝑥 ∈ 𝐶) Como pela Propriedade Distributiva da Conjunção e da Disjunção, temos que: 𝑝 ˅ (𝑞 ˄ 𝑟) ⟺ (𝑝 ˅ 𝑞) ˄ (𝑝 ˅ 𝑟) Assim, podemos então escrever: (𝑥 ∈ 𝐴 ˅ 𝑥 ∈ 𝐵 ) ˄ (𝑥 ∈ 𝐴 ˅ 𝑥 ∈ 𝐶 ) Por definição, colocando na linguagem da teoria de conjuntos temos: 𝑥 ∈ [(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶 )]

ii.

[(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶 )]



[𝐴 ∪ (𝐵 ∩ 𝐶 )]

Seja 𝑥 um elemento de (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶 ).

Então,

[𝑥 ∈ (𝐴 ∪ 𝐵)] ˄ [𝑥 ∈ (𝐴 ∪ 𝐶 )] (𝑥 ∈ 𝐴 ˅ 𝑥 ∈ 𝐵) ˄ (𝑥 ∈ 𝐴 ˅ 𝑥 ∈ 𝐶) 𝑥 ∈ 𝐴 ˅ (𝑥 ∈ 𝐵 ˄ 𝑥 ∈ 𝐶) Como pela Propriedade Distributiva da Conjunção e da Disjunção, temos que: 𝑝 ˅ (𝑞 ˄ 𝑟) ⟺ (𝑝 ˅ 𝑞) ˄ (𝑝 ˅ 𝑟) Podemos então escrever: 𝑥 ∈ [(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶 )] Por definição, colocando na linguagem da teoria de conjuntos temos: 𝑥 ∈ [𝐴 ∪ (𝐵 ∩ 𝐶 )].

f.

Distributividade da intersecção com relação à união: 𝐴 ∩ (𝐵 ∪ 𝐶 ) = (𝐴 ∩ 𝐵 ) ∪ ( 𝐴 ∩ 𝐶 ) Devemos provar que: [𝐴 ∩ (𝐵 ∪ 𝐶 )]

⊂ [(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶 )] 𝑒

{ [(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶 )]

i.

[𝐴 ∩ (𝐵 ∪ 𝐶 )]



[𝐴 ∩ (𝐵 ∪ 𝐶 )]

⊂ [(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶 )]

Seja 𝑥 um elemento de 𝐴 ∩ (𝐵 ∪ 𝐶 ). Então, 𝑥 ∈ 𝐴 ˄ 𝑥 ∈ (𝐵 ∪ 𝐶) Logo, 𝑥 ∈ 𝐴 ˄ ( 𝑥 ∈ 𝐵 ˅ 𝑥 ∈ 𝐶) Como pela Propriedade Distributiva da Conjunção e da Disjunção, temos que: 𝑝 ˄ (𝑞 ˅ 𝑟) ⟺ (𝑝 ˄ 𝑞) ˅ (𝑝 ˄ 𝑟) Logo, podemos escrever:

(𝑥 ∈ 𝐴 ˄ 𝑥 ∈ 𝐵) ˅ (𝑥 ∈ 𝐴 ˄ 𝑥 ∈ 𝐶) Na linguagem da teoria de conjuntos esta proposição é escrita como: 𝑥 ∈ (𝐴 ∩ 𝐵) ˅ 𝑥 ∈ (𝐴 ∩ 𝐶) 𝑥 ∈ [ (𝐴 ∩ 𝐵 ) ∪ (𝐴 ∩ 𝐶 )] (𝐴 ∩ 𝐵 ) ∪ (𝐴 ∩ 𝐶 )

ii.

[(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶 )]



[𝐴 ∩ (𝐵 ∪ 𝐶 )]

Seja 𝑥 um elemento de (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶 ). Então, 𝑥 ∈ (𝐴 ∩ 𝐵 ) ˅ 𝑥 ∈ (𝐴 ∩ 𝐶 ) Logo, (𝑥 ∈ 𝐴 ˄ 𝑥 ∈ 𝐵) ˅ (𝑥 ∈ 𝐴 ˄ 𝑥 ∈ 𝐶) Como pela Propriedade Distributiva da Conjunção e da Disjunção, temos que: 𝑝 ˄ (𝑞 ˅ 𝑟) ⟺ (𝑝 ˄ 𝑞) ˅ (𝑝 ˄ 𝑟) Logo, podemos escrever: 𝑥 ∈ 𝐴 ˄ ( 𝑥 ∈ 𝐵 ˅ 𝑥 ∈ 𝐶 ) Na linguagem da teoria de conjuntos esta proposição é escrita como: 𝑥 ∈ 𝐴 ˄ 𝑥 ∈ (𝐵 ∪ 𝐶 ) 𝑥 ∈ 𝐴 ∩ (𝐵 ∪ 𝐶 ) 𝐴 ∩ (𝐵 ∪ 𝐶 ) g. Idempotência da união: 𝐴 ∪ 𝐴 = 𝐴 Como qualquer conjunto está contido nele próprio, então: 𝐴⊂𝐴 e, portanto, 𝐴 ∪ 𝐴 = 𝐴 h. Idempotência da intersecção: 𝐴 ∩ 𝐴 = 𝐴 Como qualquer conjunto está contido nele próprio, então: 𝐴⊂𝐴 e, portanto, 𝐴 ∩ 𝐴 = 𝐴

i.

Leis de absorção: 𝐴 ∩ (𝐴 ∪ 𝐵) = 𝐴

e 𝐴 ∪ (𝐴 ∩ 𝐵) = 𝐴

𝐴 ⊂ (𝐴 ∪ 𝐵),

portanto,

𝐴 ∩ (𝐴 ∪ 𝐵) = 𝐴

(𝐴 ∩ 𝐵) ⊂ 𝐴,

portanto,

𝐴 ∪ (𝐴 ∩ 𝐵) = 𝐴

PROPRIEDADES DO COMPLEMENTAR Sejam 𝐴 e 𝐵 partes de um conjunto 𝐸 (𝐴, 𝐵 ⊂ 𝐸) i.

∁𝐸 ∅ = 𝐸 (o complementar do conjunto vazio em relação ao conjunto 𝐸 é igual ao conjunto 𝐸). ∁𝐸 ∅ = { 𝑥 / 𝑥 ∈ 𝐸 e 𝑥 ∉ ∅} ∁𝐸 ∅ = { 𝑥 / 𝑥 ∈ 𝐸 }

∁𝐸 ∅ = 𝐸

ii. ∁𝐸 𝐸 = ∅ (o complementar do conjunto 𝐸 em relação ao conjunto 𝐸 é igual ao conjunto vazio). ∁𝐸 𝐸 = { 𝑥 / 𝑥 ∈ 𝐸 e 𝑥 ∉ 𝐸} ∁𝐸 𝐸 = ∅

iii. ∁𝐸 (∁𝐸 𝐴) = 𝐴 ∁𝐸 (∁𝐸 𝐴) = { 𝑥 / 𝑥 ∈ 𝐸 e 𝑥 ∉ ∁𝐸 𝐴} ∁𝐸 (∁𝐸 𝐴) = { 𝑥 / 𝑥 ∈ 𝐸 e 𝑥 ∈ 𝐴} ∁𝐸 (∁𝐸 𝐴) = { 𝑥 / 𝑥 ∈ 𝐴} ∁𝐸 (∁𝐸 𝐴) = 𝐴

Aqui é a intersecção dos dois conjuntos, logo, vai dar o conjunto A.

iv. 𝐴 ⊂ 𝐵 ⟺ ∁𝐸 𝐴 ⊃ ∁𝐸 𝐵

 Suponhamos que 𝐴 ⊂ 𝐵 Então,

𝑥 ∈ ∁𝐸 𝐵

⟹ 𝑥 ∈𝐸

𝑥 ∉𝐵 ⟹𝑥 ∈𝐸 𝑥 ∉ 𝐴 ⟹ 𝑥 ∈ ∁𝐸 𝐴 Portanto,

∁𝐸 𝐵 ⊂ ∁𝐸 𝐴 , isto é, ∁𝐸 𝐴 ⊃ ∁𝐸 𝐵

 Suponhamos agora que ∁𝐸 𝐴 ⊃ ∁𝐸 𝐵 Então, 𝑥 ∈ 𝐴 ⟹ 𝑥 ∉ ∁𝐸 𝐴 ⟹ 𝑥 ∉ ∁𝐸 𝐵 ⟹ 𝑥 ∈ 𝐵 Portanto,

𝐴⊂𝐵

Conclusão: A complementação transforma a inclusão ⊂ na inclusão oposta ⊃, isto é, muda o sentido da inclusão.

Obs.: para quaisquer conjuntos 𝐴 e 𝐵 num universo 𝑈, temos: i.

∁𝑈 ∅ = 𝑈

ii.

∁𝑈 𝑈 = ∅

iii.

∁𝑈 (∁𝑈 𝐴) = 𝐴

iv.

𝐴 ⊂ 𝐵 ⟺ ∁𝑈 𝐴 ⊃ ∁𝑈 𝐵

Exercícios: 1. Seja 𝐴 = { {∅}, ∅}, verifique quais das sentenças são verdadeiras ou falsas: a. { {∅}} ∈ 𝐴 b. ∅ ∈ 𝐴 c. {∅} ∈ 𝐴 d. { {∅}} ⊂ 𝐴 e. ∅ ⊂ 𝐴 f. {∅} ⊂ 𝐴

Resoluções: a. { {∅}} ∈ 𝐴 = 𝐹𝑎𝑙𝑠𝑎 b. ∅ ∈ 𝐴 = 𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑖𝑟𝑎 c. {∅} ∈ 𝐴 = 𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑖𝑟𝑎 d. { {∅}} ⊂ 𝐴 = 𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑖𝑟𝑎 e. ∅ ⊂ 𝐴 = 𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑖𝑟𝑎

f. {∅} ⊂ 𝐴 = 𝐹𝑎𝑙𝑠𝑎

Os exercícios a seguir foram retirados de: . Acesso em: maio 2017.

Referências bibliográficas ALENCAR FILHO, Edgard de. Teoria Elementar dos Conjuntos. 20 ed. 1ª reimpressão. São Paulo: Nobel, 1986. GERÔNIMO, João Roberto; FRANCO, Valdeni Soliani. Fundamentos da Matemática: uma introdução à lógica matemática, teoria dos conjuntos, relações e funções. 2 ed. Maringá: Eduem, 2008. DIAGRAMAS DE VENN. Disponível em: . Acesso em: 20 maio 2017. CONJUNTOS. Disponível em: . Acesso em: maio 2017. PROPRIEDADES DE CONJUNTOS. Disponível em: . Acesso em: maio 2017.