子格(sublattice)一种组合构形,设(L,∧,∨)是格,S是L的非空子集,若S关于L 中的运算∧,∨仍构成格,则称S是L的子格。其中∧,∨分别是求最大下界和最小上界运算。凸子格(convex sublattice)具有特殊性质的一类子格。