Comprehension Principle/Examples
Jump to navigation
Jump to search
Examples of Use of Comprehension Principle
Arbitrary Predicate
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}$