Jeżeli  jest dowolnym zbiorem w przestrzeni  to dopełnieniem zbioru  

w przestrzeni ozn.  nazywamy zbiór tych elementów przestrzeni  które nie należą do zbioru  

 Będzie nam łatwiej, jeśli zapiszemy najpierw, jak wyglądają zbiory  i  w przestrzeni  

Wówczas mamy:

 Wyznaczmy zbiory  i  

Wówczas mamy:

 Zapiszmy najpierw, jak wyglądają zbiory  i  w przestrzeni  

Wówczas mamy: