abstract:In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension is a schema of axioms in Zermelo–Fraenkel set theory. Essentially, it says that any definable subclass of a set is a set.