条件交半格中的相对极大滤子

引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元。一个格是分配的当且仅当每一个相对极大滤子都是素滤子。随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格。