Sendo E = {1, 2, 3, 4, 5, 6, 7, 8}, p(y) : y + 1 ≤ 6 e F = {y ∈ E / y satisfaz p(y)}, tem·se:
Observação:
F: complementar de F em relação a E
____________
E = {1, 2, 3, 4, 5, 6, 7, 8}
p(y) : y + 1 ≤ 6 ; p(y): y ≤ 5
F = {y ∈ E / y satisfaz p(y)} = {1, 2, 3, 4, 5}
[Complementar
É uma modalidade de diferença de conjuntos, que ocorre quando um conjunto está contido em outro.
Exemplo: dados A = {0, 1, 2, 3} e B = {2, 3}, o complementar de B em relação a A é a diferença A - B.
Representação: CAB = A - B = {0, 1}.
http://educacao.uol.com.br/matematica/c ... acoes.jhtm]
: complementar de F em relação a E = E - F = {6, 7, 8}