In many popular versions of
axiomatic set theory the
axiom schema of specification, also known as the
axiom schema of separation,
subset axiom scheme or
axiom schema of restricted comprehension is an
axiom schema. Essentially, it says that any definable
subclass of a set is a set.