Word.ws English Dictionary

axiom schema of separation

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.

Noun

axiom schema of separation (plural axiom schema of separations)

  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 of axiom schema of separation

pluralaxiom schema of separations

Questions about axiom schema of separation

What does axiom schema of separation mean?
Axiom schema of separation means 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.
What part of speech is axiom schema of separation?
Axiom schema of separation is a noun.
What is the plural of axiom schema of separation?
The plural of axiom schema of separation is axiom schema of separations.

Words near axiom schema of separation in the dictionary

  1. axiom of power set
  2. axiom of regularity
  3. axiom of union
  4. axiom schema
  5. axiom schema of abstraction
  6. axiom schema of separation
  7. axiom schemas
  8. axiom schemata
  9. axiom scheme
  10. axiom schemes
  11. axiom system

Source and license

Adapted from Wiktionary: axiom schema of separation (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “axiom schema of separation.” Word.ws, https://word.ws/axiom_schema_of_separation. Based on Wiktionary, CC BY-SA 4.0.