- termide hulk, mis on moodustatud etteantud sekventsi või valemi konstantidest ja funktsioonisümbolitest. Konstantide puudumisel võetakse kasutusele konstant 0.