12
A function value is thus what we call a combinatorial function.