子格

子格(sublattice)一种组合构形，设<L，∧，∨>是格，S是L的非空子集，若S关于L 中的运算∧，∨仍构成格，则称S是L的子格。其中∧，∨分别是求最小上界和最大上界运算。