Category:Axiom of Abstraction

From ProofWiki
Jump to navigation Jump to search

This category contains results about Axiom of Abstraction.

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