Komplement množice
Kompliment množice je enočlena operacija v teoriji množic. Komplement dane množice je množica, ki vsebuje vse tiste elemente, ki jih množica ne vsebuje. Komplement množice se označuje po navadi kot , torej:

Komplement vedno računamo v okviru podane univerzalne množice .
Zgled
urediMnožica ima komplement:
- , če računamo v okviru naravnih števil ( je množica naravnih števil).
- , če računamo v okviru celih števil ( je množica celih števil).
Lastnosti komplementa
urediZa poljubni množici in veljata De Morganova zakona:
Velja pravilo, ki povezuje komplement z razliko množic:
Poleg tega velja tudi, da je operacija komplement involucija:
Povezava komplementa z unijo in presekom: