はじめに かなり前にやった証明のメモ書きになります。ここで順序集合は半順序集合*1をことを指します。 上完備、下完備の説明 定義: 順序集合$(S, \leq)$の上界を持つ任意の部分集合$U$が$S$内に上限を持つとき$S$は上完備という。 同様に、下界を持つ部分…