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.
Articles by others on the same topic
There are currently no matching articles.