funció d’avaluació

Donats dos conjunts A, B i un conjunt F de funcions de A en B, funció αF , A: F×A→B definida per (f,a)→f(a) on f∈F i a∈A .

Hom diu que αF , A és la funció d’avaluació de F respecte a A.