Congruence relations of multialgebras (Q759782)

A concept of congruence relation and homomorphism for multialgebras is developed as well as the concept of variety of multialgebras and (totally) free multialgebra. Every multialgebra is isomorphic to a subdirect product of subdirectly irreducible multialgebras (Theorem 2.2) and every class of multialgebras of the same type defined by a set of multialgebra implications forms a multialgebra variety (Theorem 3.2).