>>457
いや今それで悩んでいるのです
実数の完備のみならず一般の代数系での完備となると、なかなか理解がおよびません
可換な半群 L が演算子ρのもとで完備な順序集合のとき二元 a b ∈L の上限を aρb とすれば L はρについて半束になる…うーん