7.1 可变集合理论