Dany jest zbiór $A$ zawarty w przestrzeni $\mathbb{R}$.
Dopełnienie zbioru $A$ do przestrzeni $\mathbb{R}$ to zbiór tych elementów przestrzeni $\mathbb{R}$, które nie należą do zbioru $A$. Zapisujemy je $A^{\prime }$.