つまり、Lが束で、Lの部分集合M≠∅を考えるとき、Mの元の任意の対a,bに対してa∨bとa∧bがともにMに属するならば、MはLの部分束である。
就是说，如果L是一个格，而M≠∅{\displaystyle\not=\varnothing}是L的子集使得对于M中的所有元素对a,b有a∧{\displaystyle\wedge}b和a∨{\displaystyle\vee}b在M中，则M是L的子格。