Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Axiom schema of replacement

Every definable function-class maps a set-sized domain to a set-sized range. Functionality means that the defining formula assigns exactly one output to each input in the domain.

Ancestors (5)

  1. Set theory
  2. Foundations of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Home

Incoming links (1)