Function in intension
= Function in intension
= Functions in intension
{synonym}
A function in intension is a finite program or formal construction description. Its associated <function in extension> is the partial or total input-output map it denotes. A <Gödel number> records the description rather than identifying all descriptions with the same extension.