>>129
>作ったら何とでもなると思う。
ならまず作ってから議論しような

定義:集合列{M_n}_{n∈N}が集合Mに収束するとは〜が成り立つことである