在有界的分配格中，证明: 具有补元的那些元素组成一个子格。
举一反三
- 一个格是分配格的充分必要条件是该格中不含有与钻石格或五角格同构的子格。
- 【图片】左图所示的有界格中，元素b的补元是( )。
- 证明具有两个或更多个元素的格中不存在以自身为补元的元素.
- 试证明在具有两个或更多元素的格中，不含有补元是自身的元素。
- 有界格[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]的元素[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]关于上界1和下界0的补元是元素[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]，使得[tex=3.357x1.0]nzrZDlf76i87GfhjnU2xWA==[/tex]和[tex=3.357x1.0]vA8UC/agDYh7DowU5dA53A==[/tex]。如果一个格的每个元素都有补元，那么这个格称为有补格。证明：格[tex=4.214x1.357]EgBtdjVcADNRXv2SCfCWwCVa9dVW5bDDIrZwy1KVBss=[/tex]是有补格，其中[tex=2.071x1.357]nZpRrk3SrXqHzgSwvQNkBw==[/tex]是有穷集[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]的幂集。