\begin{definition}[Definition:New Element]
Let $S$ be a set.
A '''new element for $S$''' is a set that is not an element of $S$.
By Set does not Contain Itself, it may be defined as $S$ itself.
\end{definition}