Komplement množice je množica vseh tistih elementov, ki so v univerzalni množici in niso v množici .
C = \ = {x; x in x }
Za komplement lahko uporabljamo tudi oznaki in .