Dados dois conjuntos A e B, tal que B está totalmente contido em A chamamos complementar de B em relação a A a seguinte parte pintada no desenho abaixo:
Podemos representar através do seguinte símbolo:
$C^{B}_{A}$
Perceba que falar de complementar só faz sentido se um conjunto estiver contido no outro. Como, sempre que falarmos de complementar, estaremos considerando um conjunto dentro do outro, então podemos igualar complementar com diferença de conjunto:
$C^{B}_{A} = A - B$
Veja agora o caso em que o conjunto A está contido no conjunto B
Veja como fica o símbolo:
$C^{A}_{B}$
E teremos:
$C^{A}_{B} = B - A$