Residuated semilattice