>>770
集合を一般化して理解できないなら無理かもな。
文字列の例は集合の証明の一例に過ぎないから、証明には使えないことは理解してる?