## Lattice of subgroups

Prove that given distribution of final sets make a lattice if there is relation: $S_1\le S_2$ where every distribution of $S_1$ class is a subgroup one of distribution of $S_2$ class.

Prove that this lattice is not distributive.