Axiom schema of specification

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.

This neuron ends here.