A function or definition with no free variables.