Dictionary

axiom schema of separation en · NOUN

Meanings

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, Ernst Zermelo, Investigations in the Foundations of Set Theory I:

Forms

Relateds

Russell's paradox · axiom schema of replacement · axiom schema of abstraction · Zermelo-Fraenkel set theory