上半束
join-semilattice
半順序集合$ (S,\le)が上半束であるとは、
$ \forall x,y\in Sに対して、これら2元集合の上限$ x\lor yが$ Sに存在する
ことである
https://gyazo.com/3f4c6d06852bd4765c630b581c1490d3
参考
Explanations on concepts of Posets
非常にわかりやすい
具体例など