Komplement množice

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 .