\begin{definition}[Definition:Characteristic Property of Set]
Let $S$ be a set which is specified by means of such a propositional function:
:$S = \set {a: \map P a}$
The open statement $\map P x$ is known as a '''characteristic property''' of $S$.
\end{definition}