Optimization 这个幂等的推广叫什么名字？

函数的许多常用属性都有简明的名称。例如，等等

我正在制作一个库，用于提供这些属性和其他属性的速记定义

我想问的是一元函数。函数f是幂等的iif∀x。fx==f（fx）

这个属性有一个有趣的泛化，我正在努力寻找一个类似的简明名称。为了避免通过建议一个名字来偏向人们的名字选择，我将它命名为P，并提供以下定义：

函数f相对于g iif具有p性质∀x。fx==f（gx）。通过用P来重新定义幂等性，我们可以把这看作是幂等性的推广。函数f是幂等的iif，如果它自身具有P性质

要了解这是一个有用的属性，请注意它证明了重写规则的合理性，该规则可用于实现许多常见的优化。当g是某种规范化函数时，这种情况经常发生，但并不总是发生。一些例子：

• 相对于

  f

  （对于f的所有选项）为P
• 相对于转换为，转换为是P（反之亦然）
• 就形成NFD的标准化而言，形成NFC是P（反之亦然）
• P是关于

---

您将此属性命名为什么？

可以说

map f

是

length

保留的，或者

length

在

map f

下是不变的。那么：

• g是f-保持的
• f在（应用）g下是不变的

---

同样，如果f在一组运算g下是不变的，那么我们可以说它在g下是对称的。我知道这个性质是

g

-不变的。