değerlendirim fonksiyonu
-
Genellikle üzerinde cebirsel ya da topolojik yapılar olan bir A kümesinden B kümesine giden bir F fonksiyon ailesi ele alındığında, F deki fonksiyonların A nın sabit tutulan bir a elemanındaki değerlerini bulan, eva(f):= f(a) formülüyle tanımlanan eva: F → B fonksiyonu.
İngilizce evaluation function; evaluation mapping
- Aynı durumda, F den B ye giden yapı koruyan fonksiyonlar BF ile gösterilirse, ev(a):= eva formülüyle tanımlanan ev: A → BF fonksiyonu.