7.7　集合类型操作符

7.7.1　标准类型操作符（所有的集合类型）

1.　成员关系（in, not in）

就序列而言，Python中的in和not in操作符决定某个元素是否是一个集合中的成员。

2.　集合等价/不等价

等价/不等价被用于在相同或不同的集合之间做比较。两个集合相等是指，对每个集合而言，当且仅当其中一个集合中的每个成员同时也是另一个集合中的成员。

你也可以说每个集合必须是另一个集合的一个子集，即s< = t和s> = t的值均为真（True）或（s< = t and s> = t）的值为真（True）。集合等价/不等价与集合的类型或集合成员的顺序无关，只与集合的元素有关。

3.　子集/超集

Set用Python的比较操作符检查某集合是否是其他集合的超集或子集。“小于”符号（<，<=）用来判断子集，“大于”符号（>，>=）用来判断超集。

“小于”和“大于”意味着两个集合在比较时不能相等。等于号允许非严格定义的子集和超集。

Set支持严格（<）子集和非严格（< =）子集，也支持严格（>）超集和非严格（> =）超集。只有当第1个集合是第2个集合的严格子集时，我们才称第1个集合“小于”第2个集合，同理，只有当第 1个集合是第2个集合的严格超集时，我们才称第1个集合“大于”第2个集合。

7.7.2　集合类型操作符（所有的集合类型）

1.　联合（|）

联合（union）操作和集合的OR（又称可兼析取，inclusive disjunction）其实是等价的，两个集合的联合是一个新集合，该集合中的每个元素都至少是其中一个集合的成员，即，属于两个集合其中之一的成员。联合符号有一个等价的方法，union()。

2.　交集（&）

你可以把交集操作比做集合的AND（或合取）操作。两个集合的交集是一个新集合，该集合中的每个元素同时是两个集合中的成员，即属于两个集合的成员。交集符号有一个等价的方法，intersection()。

3.　差补/相对补集（-）

两个集合（s和t）的差补或相对补集是指一个集合C，该集合中的元素，只属于集合s，而不属于集合t。差符号有一个等价的方法，difference()。

4.　对称差分（^）

和其他的布尔集合操作相似，对称差分是集合的XOR（又称“异或”，exclusive disjunction）。两个集合（s和t）的对称差分是指另外一个集合C，该集合中的元素，只能是属于集合s或者集合t的成员，不能同时属于两个集合。对称差分有一个等价的方法，symmetric_difference()。

5.　混合集合类型操作

上面的示例中，左边的s是可变集合，而右边的t是一个不可变集合，注意上面使用集合操作符所产生的仍然是可变集合，但是如果左右操作数的顺序反过来，结果就不一样了：

如果左右两个操作数的类型相同，既都是可变集合或不可变集合，则所产生的结果类型是相同的，但如果左右两个操作数的类型不相同（左操作数是set，右操作数是frozenset，或相反情况），则所产生的结果类型与左操作数的类型相同，上例中可以证明这一点。还要注意，加号不是集合类型的操作符：

7.7.3　集合类型操作符（仅适用于可变集合）

（Union） Update （|=）

这个更新方法从已存在的集合中添加（可能多个）成员，此方法和update()等价。

Retention/Intersection Update（& =）

保留（或交集更新）操作保留与其他集合的共有成员。此方法和intersection_update()等价。

Difference Update（-=）

对集合s和t进行差更新操作s-=t，差更新操作会返回一个集合，该集合中的成员是集合s去除掉集合t中元素后剩余的元素。此方法和difference_update()等价。

Symmetric Difference Update（^=）

对集合s和t进行对称差分更新操作（s^=t），对称差分更新操作会返回一个集合，该集合中的成员仅是原集合s或仅是另一集合t中的成员。此方法和symmetric_difference_update()等价。