Comprehension Principle/Examples/Arbitrary Predicate

Example of Use of Comprehension Principle

Formally, let $P$ be an arbitrary predicate where $S$ is not free.

Then the following is an instance of the comprehension principle:

$\exists S : \forall x : \paren {x \in S \iff \map P x}$