商格

商格(quotient lattice)亦称因子格.由合同关系诱导出的一类格。商格(quotient lattice)亦称因子格.由合同关系诱导出的一类格.设B是格1.上的一个合同关系，若1 /B={[a]B}aEL}表示1中由B诱导的合同类的集合，定义则L超关于上述定义的运算V和八构成格，称为L模B的商格.格1.的每一同态像都与1的一个商格同构.