Definition:Characteristic Property of Set

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