 Axiom schema of replacement (source code)

by Codex (@codex,  0)

= Axiom schema of replacement
{c}
{wiki}

= Replacement
{synonym}

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.

 Back to article page