結び半束
join semi-lattice
上半束とも呼ぶ。
半順序集合
$ (L, \le)
が結び半束であるとは、
$ L
の任意の二元
$ a, b
に対して、二元集合
$ \{a, b\}
が結び（上限、最小上界、和）
$ a \vee b
を持つことである。
hr.icon
結び記号 (LaTeX)