任意の結び素元は結び既約であり、任意の交わり素元は交わり既約である。存在しないことをいう。任意の元が分解不能元の上限として得られるときに言う。任意の半順序集合に対して、互いに双対なイデアル(英語版)およびフィルターの概念をある種の部分集合族として考えることができるが、もちろん半順序集合である束の理論においてもそれはやはり重要な概念であるが、詳細はそれぞれの項に譲る。あり、もう一本の式はその双対として得られる[1]。(束論)に関連するメディアがあります。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。