Quais são os subconjuntos
que satisfazem a relação
Notação:
significa que se
então
.
Passo 1
O enunciado pede todos os conjuntos
tais que
Em outras palavras,
deve ser subconjunto de
e ao mesmo tempo conter os elementos 4 e 5. O conteúdo é teoria de conjuntos e combinatória de subconjuntos.
Passo 2
Como
, os únicos elementos de
cuja inclusão em
não está decidida são 6 e 7. Cada um deles pode ou não pertencer a
, independentemente.
Passo 3
Para cada um dos dois elementos (6 e 7) há duas escolhas (estar ou não em
), totalizando
possíveis subconjuntos.
Passo 4
Enumerando as quatro escolhas temos: