下半束
meet-semilattice
半順序集合
$ (S,\le)
が下半束であるとは、
$ \forall x,y\in S
に対して、これら2元集合の
下限
$ x\lor y
が
$ S
に存在する
ことである
参考
Explanations on concepts of Posets