for L being distributive Lattice
for S being Sublattice of L holds S is distributive