0550132人目の素数さん垢版 | 大砲2022/04/30(土) 14:17:17.02ID:OJe6isOB >>デデキント切断は最大元・上限ともに存在する場合が無いのはいつもそうですから ここに戻りますが、最大限がないのは切断の定義よりそうなのですね。 念のためです。