代数式的定义〔智格拉经验〕