Ta'rif - odatda lug'at yoki lug'atda qo'llaniladigan so'z, ibora yoki tushunchaning ma'nosi. Ba'zi funksiyalarning xossasi, bunda har bir berilgan kirish qiymati uchun bitta chiqish qiymati mavjud bo'lib, kirish va chiqish o'rtasidagi yagona munosabatni ta'minlaydi