Function in extension
= Function in extension
= Functions in extension
{synonym}
A function in extension is a <function> specified by its domain and the value at each input in that domain. Distinct <functions in intension> can have this same extension. Properties of the extension of an arbitrary program are semantic properties, to which <Rice theorem> applies when the property is nontrivial.