Let $x$ be a D11: Set.
The successor set of $x$ is the D11: Set \begin{equation} x \cup \{ x \} \end{equation}