On Mal’cev’s Multiplication of Antivarieties of Algebraic Systems

Resumo

In this paper it is proved that subantivarieties of an antivariety K form a semigroup with respect to Mal’cev’s multiplication whenever K is an antivariety of algebraic systems whose signature Ω contains only finite number of function symbols.We show that the condition of finiteness of the set of function symbols from Ω is significant. Semigroups of subantivarieties of antivarieties of algebras are characterized.