離散数学
大至急です.大学の学部の離散数学の授業で、
(1)RとSが集合X上の順序のときR∘SはX上の順序になるか?理由とともに結論を述べよ.という問題で,
反対称的のとき
(x,y)∈R∘S ∩ (y,x)∈R∘S
⇒∃a,b∈X, {((x,a)∈R かつ (a,y)∈S) ∩ ((y,b)∈R かつ (b,x)∈S)}
⇒ここからどういうふうにすればわかりません.
推移的のとき
<x,y>∈R∘S ∩ <y,z>∈R∘S
⇒∃a,b∈X, {((x,a)∈R かつ (a,y)∈S) ∩ ((y, b)∈R かつ(b, z)∈S)}
⇒ ここからどういうふうにすればわかりません.
(2)<A,≦_A>と<B,≦_B>が整礎な順序集合ならば,A×B上の辞書式順序≦_lは整礎な順序であることを示せ.
A×Bの空でない任意の部分集合Sが辞書式順序≦_lに関する極小元を持つことを示せばいいんですが,どうやって示せばいいかわかりません
分かる方,教えてください。.お願いします。