Conjunto complementario $(A / B)$

Sea $A$ un conjunto, y $B$ un subconjunto contenido en $A$ , $B \subset A$ llamaremos conjunto complementario de $B$ en $A$ "$A/B$ " al conjunto de elementos de $A$ que no estén en $B$ $$ A/B = \{ a | a \in A, a \not\in B \} $$

Cuando se tiene claro que se está trabajando sobre el conjunto $A$ bien porque sea el total o bien porque esté dentro de contexto, es común obviarlo y escribir solamente $ \overline{B}$ propiedades

$\overline{\emptyset}$ = A

$\overline{A} = \emptyset $

$\overline{\overline{B}}$ = B

El complementario también se puede confundir con la diferencia entre conjuntos y no es un problema porque porque se denotan igual y la definición es prácticamente la misma , la salvedad es que $B$ no tiene que estar contenido en $A$.