定義
L を順序集合とする。
L の任意の２元 a, b に対して a∩b が存在するとき L を下半束(lower semilattice)と言う。
空集合も下半束と考える。
下半束は最大元を持つとき有界(bounded)であると言う。