axiom schema of separation

noun

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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounaxiom schema of separation (plural axiom schema of separations)

plural axiom schema of separations

  1. mathematicsThe 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
Cite this entry
APA

axiom schema of separation. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/axiom%20schema%20of%20separation

MLA

“axiom schema of separation.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/axiom%20schema%20of%20separation. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “axiom schema of separation,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/axiom%20schema%20of%20separation.

Source: axiom schema of separation on Wiktionary, CC BY-SA 4.0.