19/09/11 21:00:56.13 IlUCyPH9.net
（>>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 ∈ｙである
これ即ち、∈－順序の推移性そのものでしょ（＾＾；
おサル、しっかり踊れよ ｂｙ サル回しのスレ主より ｗ（＾＾；