Alternative Names


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