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.