# 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$.