set_contains se implementa así :

 static int set_contains(PySetObject *so, PyObject *key) { PyObject *tmpkey; int rv; rv = set_contains_key(so, key); if (rv < 0) { if (!PySet_Check(key) || !PyErr_ExceptionMatches(PyExc_TypeError)) return -1; PyErr_Clear(); tmpkey = make_new_set(&PyFrozenSet_Type, key); if (tmpkey == NULL) return -1; rv = set_contains_key(so, tmpkey); Py_DECREF(tmpkey); } return rv; }

Entonces, esto delegará directamente a set_contains_key , que esencialmente hará un hash del objeto y luego buscará el elemento usando su hash.

Si el objeto no se puede modificar, set_contains_key devuelve -1 , por lo que entramos en ese if . Aquí, verificamos explícitamente si el objeto key pasado es un conjunto (o una instancia de un subtipo de conjunto) y si previamente obtuvimos un error de tipo. Esto sugeriría que intentamos una verificación de contención con un set pero falló porque no se puede modificar.

En esa situación exacta, ahora creamos un nuevo conjunto frozenset a partir de ese set e intentamos la verificación de contención usando set_contains_key nuevamente. Y dado que los conjuntos congelados son correctamente hashables, podemos encontrar nuestro resultado de esa manera.

Esto explica por qué los siguientes ejemplos funcionarán correctamente aunque el conjunto en sí no sea hashable:

 >>> set() in {frozenset()} True >>> set(('a')) in { frozenset(('a')) } True

La última línea de la documentación para set s analiza esto:

Tenga en cuenta que el argumento elem para los __contains__() , remove() y discard() puede ser un set . Para admitir la búsqueda de un frozenset equivalente, se crea uno temporal a partir de elem .