>>395
>A∈X
>と有限個だけ異なるBはすべて
>B∈X
この辺時枝さんの話にも出てたなと思えるね