axiom schema of separation

noun1

1. •
   The axiom schema stating that for every set A and every condition Sx, there exists a set B whose elements are exactly those members of A for which Sx holds.

   • Whenever a propositional function Sx is definite for all elements of a set M, M possesses a subset whose elements are exactly those x in M for which Sx holds. — 1908