必须注意的是:当T为L的子格时,T一定 是格;但当TL,T关于L中的偏序关系≤为 格时,T不一定是L的子格。 冷例:S={1,2,3}S3={e,σ1σ2,可3,σ4,05} 为三次对称群,则(P(S3)c)是格,并且 是完全格。取T={e},H1H2H3H4,S3}其 中H={e,σ1};H2={e,c2};H3={e,o3} H4={e,o4,o5}都是S的子群,则T;g是 格但它不是P(S))的子格。❖ 必须注意的是：当T为L的子格时,T一定 是格; 但当TL,T关于L中的偏序关系≤为 格时,T不一定是L的子格。 ❖ 例：S={1,2,3},S3={e,1 , 2 , 3 , 4 , 5 } 为三次对称群，则(P(S3 );)是格，并且 是完全格。取T={{e}, H1 ,H2 ,H3 ,H4 ,S3 },其 中H1={e, 1 }; H2={e, 2 }; H3={e, 3 }; H4={e, 4 , 5 }都是S3的子群，则(T; )是 格,但它不是(P(S3 );)的子格