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:

Wówczas mamy:

Wówczas mamy: