子群格

$L(G)=\{H|H\text{是}G\text{的子群}\}$, 偏序集 $<L(G),\subseteq >$ 称为 $G$ 的 子群格.