四则运算法则定义