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

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