mały|Diagram Venna: jest dopełnieniem względem
Dopełnienie zbioru, uzupełnienie zbioru – zbiór wszystkich elementów (pewnego ustalonego nadzbioru), które do danego zbioru nie należą.
Definicja formalna Niech dany będzie zbiór zwany dalej przestrzenią, zbiorem uniwersalnym lub uniwersum, oraz jego podzbiór Dopełnieniem zbioru nazywa się różnicę
oznaczaną zwykle symbolem lub , a w starszych pozycjach także lub, jeśli jest znane, krótko (litera „c” w niektórych oznaczeniach pochodzi od ang. complement, dopełniać).
Niekiedy spotyka się również oznaczenie , jednak jeżeli jest zbiorem, na którym określono pewną (addytywną) strukturę algebraiczną, to może oznaczać wtedy
Z definicji wynika, że dopełnienie zbioru zależy od wyboru przestrzeni. Korzystając z pojęcia dopełnienia zbiorów, różnicę zbiorów można zapisać w postaci:
Własności Dla dowolnego uniwersum prawdziwe są równości
Dla ustalonego i dowolnego zachodzi
co oznacza, że operacja dopełnienia jest inwolucją.
Prawdą jest też, iż zbiór i jego dopełnienie są rozłączne,
a ich suma daje całe uniwersum,
co oznacza, że jest rozbiciem zbioru
Dla danych zachodzą prawa de Morgana:
Dodatkowo pociąga