类型:某种运算法则