Sejam A e B dois subconjuntos finitos de \Omega assim definidos: \Omega=\{1,2,3,4,5,6\} A=\{1,2,3\} B=\{2,4,6\}
Determine: \bar{B}
Passo 1
O enunciado dá o universo \Omega=\{1,2,3,4,5,6\}
e o subconjunto B=\{2,4,6\},
e pede o complemento de B em \Omega.
Para isso vamos usar o conceito de complemento de conjunto finito: \overline{B}=\{x\in\Omega\mid x\notin B\}.
Passo 2
Listamos os elementos de \Omega: 1,2,3,4,5,6.
Em B estão 2,4,6.
Logo os elementos de \Omega que não pertencem a B são 1,3,5.