Residuated lattice; $F$-ideal