0458 ◆QZaw55cn4c 垢版 | 大砲2018/01/13(土) 14:20:18.80ID:zUI9hxZm >>457 いや今それで悩んでいるのです 実数の完備のみならず一般の代数系での完備となると、なかなか理解がおよびません 可換な半群 L が演算子ρのもとで完備な順序集合のとき二元 a b ∈L の上限を aρb とすれば L はρについて半束になる…うーん