模格判别条件 L为模格当且仅当L不含有与五角格同构的子格. 充分性:假设L不是模格,则存在ab,c∈L,使得 a≤b,(cAb)<(Nc)∧b, 取5个元素x,y,z,ν如图 证明思路: Y=aVc x<y≤,W≤C≤ν x∧c=y∧c=, XVc-VVc=ν =(vc)∧b Z=< xy乙,ν两两不等 x=V(c∧b) 构成L的5元子格 U=C∧b3 模格判别条件 L 为模格当且仅当 L 不含有与五角格同构的子格. 充分性：假设 L 不是模格，则存在 a,b,c ∈ L, 使得 a ≼ b, a ∨ ( c ∧ b ) ≺ ( a ∨ c ) ∧ b, 取 5 个元素 x, y, z, u, v 如图. 证明思路： u ≼ x ≺ y ≼ v，u ≼ c ≼v x ∧ c =y ∧ c = u，x∨ c =y ∨ c =v u, x, y, z, v 两两不等， 构成 L 的 5 元子格 y= ( a ∨ c ) ∧ b x=a ∨ ( c ∧ b ) z=c u=c ∧ b v=a ∨ c