伽罗瓦连接
The Lattice theorem establishes a Galois connection between the lattice of subgroups of a group and that of its quotients.