（>>30-31）
> ５）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
>　だから、この場合は”x ∈ y → x ⊂ y ”成立

∈−順序は、推移的なので、
u ∈ x ∈ ｙ なら
三重丸を描けば良い

一番内側がｕ、中間がｘ、一番外がｙ
それをベン図で解釈すれば、
u ⊂ x ⊂ ｙ

それで、ｘの元である集合ｕにおいて、
その元が１点集合たち u1,u2,・・・,un ∈ｕだったとすれば
一番内側の丸のｕの中に、u1,u2,・・・,un達を描く。それは１点で表現しても良い（＾＾

ベン図の包含関係から
u1,u2,・・・,un ∈ｘであり
u1,u2,・・・,un ∈ｙである
これ即ち、∈−順序の推移性そのものでしょ（＾＾；

おサル、しっかり踊れよ ｂｙ サル回しのスレ主より ｗ（＾＾；