- 37 名前：１３２人目の素数さん [2016/06/10(金) 23:41:31.45 ID:ioOjIAQC.net]
- 以下の【命題1】の証明を教えてください。
【定義1】
<A, ≦> を順序集合とする。 A の空でない部分集合を D とする。
D の任意の2要素 a, b に対し、a ≦ c かつ b ≦ c となる D の
要素 c が存在するとき、 D は有向であるという。
【定義2】
<A, ≦> を順序集合とする。
<A, ≦> が最小元をもち、 A の任意の有向部分集合 D に対し、
D の上限 ∪D が存在するとき、
