Axiom:Axiom of Specification/Also known as

Axiom
The axiom of specification is also known as:
 * The axiom of subsets (although this unnecessarily reduces the scope of this axiom to pure set theory)
 * The axiom of comprehension
 * The axiom of selection (this axiom allows one to select the elements of a subset)
 * The axiom of separation or separation principle (although this can be confused with the Tychonoff separation axioms, which arise in topology, so this name is rarely used)
 * The axiom of segregation, under its German name Aussonderungsaxiom
 * The limited abstraction principle, in apposition to the unlimited abstraction principle, also known as the comprehension principle.


 * In the context of class theory, the term axiom of class formation is often seen.