>>デデキント切断は最大元・上限ともに存在する場合が無いのはいつもそうですから

ここに戻りますが、最大限がないのは切断の定義よりそうなのですね。
念のためです。