不变函数

invariant function