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.

Also known as
The comprehension principle can also be referred to as the axiom of abstraction.

Also see

 * Axiom:Axiom of Comprehension -- do not confuse that with this