Niech zbiór A zawiera się w zbiorze X nazywanym przestrzenią zbioru A. Dopełnienie zbioru A oznaczamy symbolem A'. Dopełnienie zbioru A w przestrzeni X to zbiór A' zawierający wszystkie elementy przestrzeni X, które nie należą do zbioru A. A' = X/A.