>>865
>小さいとは限らない集合
それ集合なんか?