Definition:Characteristic Property of Set

From ProofWiki
Jump to navigation Jump to search

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


Sources