轮换对称定义给出例子