子格是格论中描述格结构封闭性的基本概念，指格的非空子集关于原有交运算∧与并运算∨保持封闭形成的子结构 。其数学定义为：若格L的子集S对L中的这两种运算均封闭，则S称为L的子格 。
子格的特殊类型包括含最小元与最大元的{0,1}-子格，以及由区间[a,b]构成的闭区间子格。生成子格[H]通过非空子集H的交运算获得，极大子格则指不存在更大真子格的极限情形。所有子格按包含关系构成Sub(L)格，其中弗拉梯尼子格定义为极大子格的交集 。
在具体实例中，集合幂集格P(A)的子格可通过不同子集组合构造，如平凡子格包含空集与全集。通过整除关系构造的格（如D90）可验证子格的具体形式 。广义模糊子格作为扩展概念，其性质与经典子格定义存在密切联系 。
想要了解更多“子格”的信息，请点击：子格百科
