A refinement of the equaclosure operator (Q1652882)

\textit{W. Dziobiak} [Algebra Univers. 24, No. 1--2, 32--35 (1987; Zbl 0642.08003)] observed that there is a natural closure operator \(\eta\) on the lattice \(L_q\)(\(\mathcal{K}\)) of subquasivarieties of a quasivariety \(\mathcal{K}\) , viz., for \( \mathcal{Q} \preceq \mathcal{K}\) let \(\eta(\mathcal{Q}) =\mathcal{K} \cap \operatorname{H}\operatorname{S}\operatorname{P}(\mathcal{Q})= \mathcal{K} \cap \mathrm{H}(\mathcal{Q})\) (here \(\operatorname{H}\), \(\operatorname{S}\) and \(\operatorname{P}\) are known closure operators with respect to homomorphisms, subalgebras, and direct products, respectively). Moreover, there is a least subquasivariety \(\mathcal{L} = \lambda (\mathcal{Q})\) such that \(\eta (\mathcal{L}) = \lambda (\mathcal{Q})\), which is the quasivariety generated by the \(\mathcal{Q}\)-free algebra \(F_{\mathcal{Q}}(\omega)\). The map \(\eta\) is called the \textit{natural equaclosure operator} on \(L_q(\mathcal{K})\). Note that \(\eta\) partitions \(L_q(\mathcal{K})\) into intervals \([\lambda(\mathcal{Q}),\eta(\mathcal{Q})]\) consisting of subquasivarieties with the same equational closure. Some basic properties of the natural equaclosure operator on \(L_q(\mathcal{K})\) are known. These properties are used to show that certain types of lattices are not isomorphic to a subquasivariety lattice \(L_q(\mathcal{K})\), because the lattices in question do not admit a closure operator satisfying the known properties. The authors use a representation of subquasivariety lattices as lattices of algebraic subsets to strengthen a known property of equaclosure operators.