 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.