スレタイ箱入り無数目を語る部屋31(あほ二人の”アナグマの姿焼き"Part5ｗ)

>>261
CS(Q)={(xm)∈Q^N|0<∀ε∈Q,∃n∈N,n<∀i,j∈N: xi<xj+ε∧xj<xi+ε}
DC(Q)={X⊂Q|φ≠X≠Q,∀x∈X,∀y∈Q-X: x<y}
={X⊂Q|φ≠X≠Q,X=∪{(-∞,x]|x∈X}}
L:CS(Q)→P(Q):L((xm))=∩{∪{(-∞,xn]|m<n}|m∈N}
x∈∩{∪{(-∞,xn]|m<n}|m∈N}
∀m∈N: x∈∪{(-∞,xn]|m<n}
∀m∈N,m<∃n∈N: x∈(-∞,xn]
∀m∈N,m<∃n∈N: x≦xn
∀m∈N,m<∃n∈N: (-∞,x]⊂(-∞,xn]
∀m∈N: (-∞,x]⊂∪{(-∞,xn]|m<n}
(-∞,x]⊂∩{∪{(-∞,xn]|m<n}|m∈N}
L((xm))∈DC(Q)
L:CS(Q)→DC(Q)
X,Y∈DC(Q)
X〜Y ::⇔ ∃z∈Q: X=Y∪{z}∨Y=X∪{z}
R=DC(Q)/〜
L((xm))〜L((ym))
∃z∈Q: ∩{∪{(-∞,xn]|m<n}|m∈N}=∩{∪{(-∞,yn]|m<n}|m∈N}∪{z}∨∩{∪{(-∞,yn]|m<n}|m∈N}=∩{∪{(-∞,xn]|m<n}|m∈N}∪{z}
∃z∈Q: ∩{∪{(-∞,xn]|m<n}|m∈N}=∩{∪{(-∞,yn]|m<n}|m∈N}∪{z}
∃z∈Q,∀m∈N: ∩{∪{(-∞,xn]|m<n}|m∈N}⊂∪{(-∞,yn]|m<n}∪{z}
∃z∈Q,∀m∈N,m<∃n∈N: ∩{∪{(-∞,xn]|m<n}|m∈N}⊂(-∞,yn]∪{z}
∃z∈Q,∀m∈N,m<∃n∈N: ∩{∪{(-∞,xn]|m<n}|m∈N}⊂(-∞,yn]
∃z∈Q,∀m∈N: ∩{∪{(-∞,xn]|m<n}|m∈N}⊂∪{(-∞,yn]|m<n}
∃z∈Q: ∩{∪{(-∞,xn]|m<n}|m∈N}⊂∩{∪{(-∞,yn]|m<n}|m∈N}
∃z∈Q: ∩{∪{(-∞,xn]|m<n}|m∈N}=∩{∪{(-∞,yn]|m<n}|m∈N}∪{z}⊂∩{∪{(-∞,yn]|m<n}|m∈N}
z∈∩{∪{(-∞,yn]|m<n}|m∈N}
∩{∪{(-∞,xn]|m<n}|m∈N}=∩{∪{(-∞,yn]|m<n}|m∈N}