Axiom:Axiom of Abstraction

Definition
The comprehension principle states:
 * Given any property, there is a set which consists of all objects having that property.

From the definition of a set:


 * A set is any aggregation of objects, called elements, which can be precisely defined in some way or other.