Let $X$ be a D11: Set such that

(i) | $E \subseteq X$ is a D78: Subset of $X$ |

(ii) | $E$ is a D17: Finite set |

Then
\begin{equation}
|X \setminus E| = |X| - |E|
\end{equation}