子格(sublattice)一种组合构形，设(L，∧，∨)是格，S是L的非空子集，若S关于L 中的运算∧，∨仍构成格，则称S是L的子格。其中∧，∨分别是求最大下界和最小上界运算。凸子格(convex sublattice)具有特殊性质的一类子格。格是有着广泛应用的一类偏序集。它是具有两个二元运算的代数系。设L是偏序集，若L的任两个元素均有上确界及下确界，则称L为格，记为(L;≤)，简记为L.a，b∈L，{a，b}的上、下确界分别记为a∨b(即sup{a，b})及a∧b(即inf{a，b})。格亦可用恒等式来定义，它是由戴德金(Dedekind，J.W.R.)给出的。