「半順序関係」問の答え

問 1

(1)

inf S と inf T が存在し S⊆T ならば， infS ≥ inf T である．

(2)

inf S と inf T が存在するとき， inf{ inf S, inf T } と inf(S∪T) の一方が存在するなら， 他方も存在して inf{ inf S, inf T } = inf(S∪T) である．

問 2