The inverse of the subjection operation transforms a nonmodular into a modular lattice. The inverse of the redction operation transforms a modular into a distributive lattice.
The inverse of the redction operation transforms a modular into a distributive lattice.