半順序集合 $(L,\leq)$ であって、$L$ のどの二元 $x, y$ に対しても $L$ の部分集合$ {x, y} $の順序 $\leq$ に関する下限 $inf\{x, y\}$ と上限 $sup\{x, y\}$ が存在するもののことを束（そく）という．