项

1. 任意的常量符号或任意的变量符号是项
2. 函数的自变量是项的时候，函数就是项
3. 有限次上面规则产生的符号串是项