تابع
function
expansion of language
بسط زبان
first order language
زبان مرتبه اول
relation
رابطه