Category:Comprehension Principle

From ProofWiki
Jump to navigation Jump to search

This category contains results about Comprehension Principle.

Given any property $P$, there exists a unique set which consists of all and only those objects which have property $P$:
$\set {x: \map P x}$