整式的定义