Residuated lattice