代数式的定义