束が最初の等式を(従って、束にとって同値な後の等式も)満足するならば、分配束(distributive lattice)と呼ばれる。