A module M is called distributive if the lattice Lat(M) of all its submodules is distributive, i.e., Fn(G + H) = FnG + FnH for all submodules F,G, and H of the module M. all valuation rings in division rings and all commutative Dedekind rings (e.g., rings of integral algebraic numbers or commutative principal ideal rings) are distributive.