完備半束
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/25 00:58 UTC 版)
半順序集合において、任意の部分集合が上限を持つことと任意の部分集合が下限を持つこととは同値であり、これらは完備束であることとも同値である。 なので完備(上)半束(英: complete (upper) semi-lattice)及び完備下半束(英: complete lower semi-lattice)も完備束と同じ対象を表す。ただし、準同型の定義が異なる(下記の写像の節を参照)。
※この「完備半束」の解説は、「完備束」の解説の一部です。
「完備半束」を含む「完備束」の記事については、「完備束」の概要を参照ください。
- 完備半束のページへのリンク