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