集合Aに元xが含まれる
とは
x∈Aが成り立つこと

A:={ x | xの字数は有限}
として
あるy∈A
yの長さ無限とすると矛盾