Este comportamento pode ser encontrado na documentação:
For container types such as list, tuple, set, frozenset, dict, or collections.deque, the expression x in y is equivalent to any(x is e or x == e for e in y).
Isto é, traduzindo, para coleções de dados a expressão x in y
é equivalente a verificar a igualdade de x com cada elemento da coleção y. Se algum deles retornar verdadeiro, então x in y
retorna true
.
Já para strings, no mesmo link podemos verificar:
For the string and bytes types, x in y is True if and only if x is a substring of y. An equivalent test is y.find(x) != -1. Empty strings are always considered to be a substring of any other string, so "" in "abc" will return True.
Traduzindo, x in y
onde y é uma string temos o retorno verdadeiro se e somente se x for uma sub-string de y. A documentação também diz que uma string vazia sempre vai ser considerada como contida em outra string.
Uma string vazia é matematicamente considerada substring de qualquer outra string pois é o elemento neutro da concatenação.
Se você se perguntar:
Existe como encaixar essa String Vazia em alguma outra string para formar a string "ABCDE"?
a resposta vai ser sim:
"" + "ABCDE" = "ABCDE"
o que por definição leva à conclusão de que "" in "ABCDE"
deve retornar verdadeiro.
Link de resposta relacionada (em inglês)