半順序集合(S,\le)が上半束であるとは、

\forall x,y\in Sに対して、これら2元集合の上限x\lor yがSに存在する

ことである

参考

非常にわかりやすい

具体例など