Previously Used Names
Weakly invariant operator, is invariant under weak binding of belongs to.