变换规则和定义