离散数学格的问题

格是用来表达对象之间关系的，因此关于格还需要从对象元素的内在关系来理解，如包含关系、子集与诸子集关系、命题的蕴含关系，但又不是所有的两两对象都能有这种关系，所以偏序关系用格来限量研究它的对象关系的性质和作用。如求解一个群部分与子群的部分的关系就是求格，求的是什么情况下群的部分即是子群的上确界或下确界，又和子群集有着特殊的共性关系。