的时候；如果formula_43蕴涵formula_44则formula_50被称为在formula_12下恒定的类，或简单称为在formula_12下恒定。这出现在有限群的特征理论中。对函数formula_50的后者情况可以被表达为交换三角关系．参见不变量。