Definition: (right distributive) Lattice of right ideals is a distributive lattice
(No citations retrieved.)