Answers:
根据这个线程：
实际上，CPython的集合被实现为类似于带有伪值的字典（键是集合的成员）的字典，并且进行了一些优化，可以利用这种缺乏值的方式
因此，基本上a set使用哈希表作为其基础数据结构。这解释了O（1）成员资格检查，因为在哈希表中查找项目平均而言是O（1）操作。
如果您愿意，甚至可以浏览CPython源代码以获取集合，根据Achim Domma的说法，该代码大部分是实现中的剪切和粘贴dict。
当人们说集合具有O（1）成员资格检查时，他们正在谈论平均情况。在最坏的情况下（当所有哈希值冲突时），成员资格检查为O（n）。有关时间复杂性，请参见Python Wiki。
在维基百科的文章说，最好的情况下为一个哈希表，不调整大小的时间复杂度O(1 + k/n)。由于Python集使用调整大小的哈希表，因此该结果并不直接适用于Python集。
在Wikipedia文章上再说一点，对于一般情况，并假设一个简单的统一哈希函数，时间复杂度为O(1/(1-k/n))，其中k/n可以由常数限制c<1。
Big-O仅将渐近行为表示为n→∞。由于k / n可以由常数c <1限制，与n无关，
O(1/(1-k/n))不大于O(1/(1-c))等于O(constant)= O(1)。
因此，假设统一的简单哈希，平均而言，Python集的成员资格检查为O(1)。
我认为这是一个常见的错误，set查找（或该问题的哈希表）不是O（1）。
来自维基百科
在最简单的模型中，哈希函数是完全未指定的，并且该表不会调整大小。为了最好地选择散列函数，大小为n且具有开放寻址的表没有冲突，最多可容纳n个元素，一次比较即可成功查找，并且大小为n的具有链接和k个键的表具有最小的最大（0，kn）冲突和O（1 + k / n）比较以查找。对于最差的哈希函数选择，每个插入都会导致冲突，并且哈希表会退化为线性搜索，每个插入都要进行Ω（k）摊销比较，并且最多可以进行k个比较才能成功查找。
我们都可以轻松访问source，前面的评论set_lookkey()说：
/* set object implementation
Written and maintained by Raymond D. Hettinger <python@rcn.com>
Derived from Lib/sets.py and Objects/dictobject.c.
The basic lookup function used by all operations.
This is based on Algorithm D from Knuth Vol. 3, Sec. 6.4.
The initial probe index is computed as hash mod the table size.
Subsequent probe indices are computed as explained in Objects/dictobject.c.
To improve cache locality, each probe inspects a series of consecutive
nearby entries before moving on to probes elsewhere in memory. This leaves
us with a hybrid of linear probing and open addressing. The linear probing
reduces the cost of hash collisions because consecutive memory accesses
tend to be much cheaper than scattered probes. After LINEAR_PROBES steps,
we then use open addressing with the upper bits from the hash value. This
helps break-up long chains of collisions.
All arithmetic on hash should ignore overflow.
Unlike the dictionary implementation, the lookkey function can return
NULL if the rich comparison returns an error.
*/
...
#ifndef LINEAR_PROBES
#define LINEAR_PROBES 9
#endif
/* This must be >= 1 */
#define PERTURB_SHIFT 5
static setentry *
set_lookkey(PySetObject *so, PyObject *key, Py_hash_t hash)
{
...
set实现实际上是dict使用伪值，后来进行了优化。