半順序集合(L,≤){\displaystyle(L,\leq)}の任意の部分集合が下限（最大下界）及び上限（最小上界）を持つとき、(L,≤){\displaystyle(L,\leq)}を完備束という。
偏序集合(L,≤)是完全格，如果L的所有子集A在(L,≤)中都有最大下界（下确界，交）和最小上界（上确界，并）二者。