\begin{definition}[Definition:Pure Set Theory]
'''Pure set theory''' is a system of set theory in which all elements of sets are themselves sets.
Most systems of axiomatic set theory are designed in this way.
\end{definition}