\begin{definition}[Definition:Language of Set Theory]
{{refactor}}
The language of set theory consists of the language of predicate logic with the binary predicate symbol $\in$, denoting membership.
\end{definition}