一般の部分集合の交わり
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/23 09:32 UTC 版)
「結びと交わり」の記事における「一般の部分集合の交わり」の解説
(A, ∧) が meet-semilattice であるとき、交わりは iterated binary operation(英語版) に書かれている手法で任意の空でない有限集合の well-defined な交わりに拡張できる。あるいは、交わりが半順序を定義するあるいは半順序によって定義されているとき、A のある部分集合はこれについての下限をもち、そのような下限をその部分集合の交わりを考えることは合理的である。空でない有限部分集合に対して、2つのアプローチは同じ結果を生み出し、したがっていずれをも交わりの定義として取ることができる。A のすべての部分集合が交わりを持つ場合、(A, ≤) は実は完備束である。詳細は完備性 (順序集合論)(英語版)を参照。
※この「一般の部分集合の交わり」の解説は、「結びと交わり」の解説の一部です。
「一般の部分集合の交わり」を含む「結びと交わり」の記事については、「結びと交わり」の概要を参照ください。
- 一般の部分集合の交わりのページへのリンク