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

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

ことである

参考