凸子格

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