thumb|150px|Vennov diagram komplementa množice A 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 Množ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 Za 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:
Kategorija:Teorija množic