子格

设 $<L,\wedge ,\vee >$ 是格, $S$ 是 $L$ 的非空子集, 若 $S$ 关于 $L$ 中的运算仍构成格, 则称 $S$ 为 $L$ 的子格.