# Category:Comprehension Principle

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

## Subcategories

This category has only the following subcategory.

## Pages in category "Comprehension Principle"

The following 8 pages are in this category, out of 8 total.