定義（上界、下界） 半順序集合 ＜P,⊑＞ の部分集合 S と P の元aについて、∀x∈S(x ⊑ a) であるとき、a は S の上界（upper bound）という。同様に、 ∀x∈S(a ⊑ x)であるとき、a は S の下界（lower bound）という。 定義（…