某种运算法则