Dati due insiemi A, ed U con AÍU si definisce complementare di A rispetto ad U l'insieme formato dagli elementi che appartengono ad U ma non appartengono ad A.   (Solitamente con U si indica l'insieme Universo)
Si indica con C_uA oppure più semplicemente

Più in generale:

Dati due insiemi A, e B si definisce differenza complementare di A e B l'insieme formato dagli elementi che appartengono ad A ma non appartengono a B .
Si indica con A-B