El retículo de submódulos de un módulo y el retículo de los subgrupos normales de un grupo tienen la propiedad especial que "x" formula_17 ("y" formula_16 ("x" formula_17 "z")) = ("x" formula_17 "y") formula_16 ("x" formula_17 "z") para todo "x", "y" y "z" en el retículo.