集合自体に含まれる要素がどれだけ増えようと（それこそ無限大に）
個々の要素はあくまで有限の長さの文字列なんだから
含まれる、含まれないといえば含まれないだろ

いくらでも大きい長さの文字列もありえるということと
無限大（長）の文字列だということは別問題なのでは