On \(\infty \)-quasivarieties (Q647891)

The author understands \(\infty\)-quasi-identities as formulas in the form \( \forall x (\Phi(\overline{x}) \longrightarrow s(\overline{x}) = t(\overline{x}))\), where \(\overline{x}\) is a finite collection of variables, \(\Phi(\overline{x})\) is a conjunction (possibly infinite) of equalities between terms of some fixed signature \(\sigma\) of variables \(\overline{x}\), while \(s(\overline{x})\) and \(t(\overline{x})\) are terms of the signature \(\sigma\) of variables \(\overline{x}\). In the paper, \(\infty\)-quasivarieties are characterized as classes closed with respect to certain operators.