\(a\)は半順序集合\(A\)の元であり、\(A_{> a}=\{x\in A\mid a (1)\(b\)は\(a\)の直後の元である。 (2)\(b\)は\(A_{> a}\)の極小元である。 (証明)いずれも\(a
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。