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 limited abstraction principle, in apposition to the unlimited abstraction principle, also known as the comprehension principle.