Em símbolos, a definição fica assim:
A ⊂ B ⇔ (∀ x) (x ∈ A ⇒ x ∈ B)
“A está contido em B” ou
“A é subconjunto de B” ou
“A é parte de B”.
O símbolo usado para indicar um subconjunto (⊂) é denominado sinal de inclusão.
Quando A ⊂ B, também podemos escrever B ⊃ A, que se lê “B contém A”.
1º) {a, b} ⊂ {a, b, c, d}
2º) {a} ⊂ {a, b}
3º) {a, b} ⊂ {a, b}
4º) {x / x é inteiro e par} ⊂ {x / x é inteiro}
“A não está contido em B”, isto é, a negação de A ⊂ B.
É evidente que A Ȼ B somente se
existe ao menos um elemento de A que não pertence a B.
Assim, por exemplo, temos:
1º) {a, b, c} Ȼ {b, c, d}
2º) {a, b} Ȼ {c, d}
3º) {x / x é inteiro e par} Ȼ {x / x é inteiro e primo}
todo elemento de A é elemento de B e vice-versa, isto é, A ⊂ B e B ⊂ A; portanto, podemos escrever:
A = B ⇔ (A ⊂ B e B ⊂ A)
Assim, para provarmos que A = B, devemos provar que A ⊂ B e B ⊂ A.
Sendo A, B e C três conjuntos arbitrários, valem as seguintes propriedades:
1ª) Ø ⊂ A
2ª) A ⊂ A (reflexiva)
3ª) (A ⊂ B e B ⊂ A) ⇒ A = B (antissimétrica)
4ª) (A ⊂ B e B ⊂ C) ⇒ A ⊂ C (transitiva)
A demonstração dessas propriedades é imediata, com exceção da 1ª, que
passamos a provar.
Para todo x, a implicação
x ∈ Ø ⇒ x ∈ A
é verdadeira, pois x ∈ Ø é falsa. Então, por definição de subconjunto, Ø ⊂ A.
– notação 𝒫 (A) –
𝒫 (A) = { X / X ⊂ A }
Exemplos:
1º) Se A = {a}
𝒫 (A) = { Ø , {a} }
2°) Se B = {a,b}
𝒫 (B) = { Ø, {a} , {b} , {a,b} }
3°) Se C = {a,b,c}
𝒫 (C) = { Ø , {a} , {b} , {c} , {a,b} , {a,c} , {b,c} , {a,b,c} }
Quais são as sete perguntas sobre subconjuntos em teoria dos conjuntos?