Un retículo se llama distributivo si formula_16 distribuye a formula_17, es decir, "x" formula_16 ("y" formula_17 "z") = ("x" formula_16 "y") formula_17 ("x" formula_16 "z").