Set-theoretic class function
= Set-theoretic class function
A set-theoretic class function is a definable class of ordered pairs whose relation is functional: every input in its domain has exactly one output. Its graph need not be a set.
= Set-theoretic class function
A set-theoretic class function is a definable class of ordered pairs whose relation is functional: every input in its domain has exactly one output. Its graph need not be a set.