【摘要】：子格：设＜L，∨，∧＞是格，S是L的非空子集，若S关于L中的运算∨和∧仍构成格，则称S是L的子格.格同态与格同构：设＜L，∨1，∧1＞和＜S，∨2，∧2＞是格，f：L→S，若对任意的a，b∈L，有f（a∧1b）=f（a）∧2f（b），f（a∨1b）=f（a）∨2f（b），则称f是格L到S的同态映射，简称格同态.若f是双射，则称f是格L到S的同构映射，简称格同构.分配格：设＜L，∨，∧＞是格，若对任
子格：设＜L，∨，∧＞是格，S是L的非空子集，若S关于L中的运算∨和∧仍构成格，则称S是L的子格.
格同态与格同构：设＜L，∨1，∧1＞和＜S，∨2，∧2＞是格，f：L→S，若对任意的a，b∈L，有f（a∧1b）=f（a）∧2f（b），f（a∨1b）=f（a）∨2f（b），则称f是格L到S的同态映射，简称格同态.若f是双射，则称f是格L到S的同构映射，简称格同构.
分配格：设＜L，∨，∧＞是格，若对任意的a，b，c∈L，有a∧（b∨c）=（a∧b）∨（a∧c），a∨（b∧c）=（a∨b）∧（a∨c），则称L是分配格.
全上界与全下界：设＜L，∨，∧＞是格，若存在a∈L，使得对任意的x∈L有x≤a，则称a为L的全上界（最大元）.若存在b∈L，使得对任意的x∈L有b≤x，则称b为L的全下界（最小元）.
有界格：设＜L，∨，∧＞是格，若L存在全上界和全下界，分别用1和0表示，则称L为有界格，记为＜L，∨，∧，0，1＞.(www.xing528.com)
定理8.3 在有界格＜L，∨，∧，0，1＞中，则对任意的a∈L有a∧0=0，a∨0=a，a∧1=a，a∨1=1.
补元：在有界格＜L，∨，∧，0，1＞中，若对a∈L有b∈L使得a∧b=0，a∨b=1，则称b为a的补元，记为a’.
有补格：在有界格＜L，∨，∧，0，1＞中，若每个元素都有补元，则称L为有补格.
有补分配格：若一个格既是有补格又是分配格，则称之为有补分配格.
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
