>>274
0={}
1={0}={{}}
2={1}={{{}}}
・・・
ってやり方だと、0∈1∈2だけど、0∈2にならないんだよね

0={}
1={0}={{}}
2={0,1}={{},{{}}}
・・・
だと、0∈1∈2で、しかも0∈2にできるんだな