“…The expediency of studying dominions in quasivarieties is justified in [5] by the fact that according to [6], among axiomatizable classes, only quasivarieties possess a complete theory of defining relations, which enables us to define the free product with amalgamated subalgebra. Note that dominions were considered in detail in quasivarieties of abelian groups [3,7], and lattices of dominions were introduced and studied in [5,8,9].…”