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

Prove that this lattice is not distributive.