在介绍群的概念时，我们提到了群格（参看5.1.1的部分内容），并且给出了一个相对准确的定义。下面定义子群格与相关性质。

设（Gc4740cb08d223c61fd565bf59ffb76f0，×）是一个群，而Sg={H，是G的子群}，在子群上定义（试读）...