式子的定义