A Bijection between Lattice-Valued Filters and Lattice-Valued Congruences in Residuated Lattices | Synapse