Let $X$ be a D11: Set such that
(i) | $\mathcal{P}(X)$ is the D80: Power set of $X$ |
(ii) | $\text{Sur}(X \to \mathcal{P}(X))$ is the D2223: Set of surjections from $X$ to $\mathcal{P}(X)$ |
Then
\begin{equation}
\text{Sur}(X \to \mathcal{P}(X))
= \emptyset
\end{equation}