Let $X$ be a D17: Finite set such that
(i) | $E \subseteq X$ is a D78: Subset |
(ii) | \begin{equation} |E| = |X| \end{equation} |
Then
\begin{equation}
E = X
\end{equation}