EXPANDER OPERATION TRANSFORMING NONMODULAR INTO MODULAR INTO DISTRIBUTIVE LATTICE

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.