In this paper we determine the smallest equivalence relation on a multialgebra for which the factor multialgebra is a universal algebra satisfying a given identity. We also establish an important property for the factor multialgebra (of a multialgebra) modulo this relation.