1.10.3 不变的集合