Category:Set of Subgroups forms Complete Lattice