It is know from the literature that interval-valued equivalence functions are not
decomposable. In order to solve that problem and give a characterization for interval-valued
restricted equivalence functions by means of aggregating interval fuzzy implication
we consider an admissible order on the lattice L([0, 1]). Also, we discuss about some
other properties of those operators.
