幂等变换性质