＞ 有限集合の定理のひとつである
＞E∈N⇒num(E)<num(N)　（ここでnum(Z)は集合Zの要素数を返す。）

E:={1,2,3}, N:={{1,2,3}} のとき E ∈ N だが num(E)=3 !< num(N)=1
有限集合で反例がある????