Axiom schema of specification

Concept in axiomatic set theory

In many popular versions of axiomatic set theory, the axiom schema of specification, also known as the axiom schema of separation (Aussonderungsaxiom), subset axiom, axiom of class construction, or axiom schema of restricted comprehension is an axiom schema. Essentially, it says that any definable subclass of a set is a set. Some mathematicians refer to this axiom as the axiom schema of comprehension, although others reserve that term only for unrestricted comprehension; this axiom is a "restricted" version of unrestricted comprehension.

From Wikipedia, under CC BY-SA. More on occurri.