Python中含字符的集合使用>=比较的逻辑为何与列表、元组不同？

这是Python针对不同容器特性专门设计的行为，核心差异来自两类容器的定位不同：

• 列表、元组属于有序序列，元素有明确的先后顺序，所以>=这类比较运算符默认实现的是字典序比较：按顺序逐位对比元素，第一个出现差异的位的大小决定整体比较结果，长度不同时短序列在前缀完全匹配的情况下会被判定为更小。
• 集合是无序的不重复元素容器，本身不记录元素的排列顺序，不存在「第一位元素」「第二位元素」的概念，因此完全不适用字典序逻辑。Python为集合的比较运算符重载了数学上的集合包含关系：
  • set_a >= set_b 等价于判断set_b是否是set_a的子集：只要set_b里的所有元素都在set_a中存在，就返回True
  • 其他对应规则：set_a > set_b判断真超集、set_a <= set_b判断子集、set_a < set_b判断真子集

你测试的案例里{'A', 'C', 'F'} >= {'C', 'F'}返回True，正是因为{'C', 'F'}的所有元素都存在于前者中，符合超集判定规则。
你看到的Numpy源码正是利用了这个特性：只要requirements参数对应的集合同时包含'C'和'F'两个元素，不管有没有传入其他参数，判断都会触发，刚好满足「不能同时指定C和F两种顺序」的校验需求，比用序列写判断逻辑简洁很多。

内容的提问来源于stack exchange，提问作者Karl