-function, say the

, such that any

-function is formally equivalent to some

-function of the

type. If this is the case, then any extensional function which holds of all