Existence and uniqueness of \((L,\varphi)\)-representations of algebras (Q4396124)

Let \(\mathbb{A}_i\), \(i\in I\), be algebras of the same type and \(\mathbb{B}= \prod(\mathbb{A}_i:i\in I)\). Let \(L\) be an ideal of the powerset of \(I\) and \(\varphi\) be a binary relation on \(\mathbb{B}\). A subalgebra \(\mathbb{A}\) of \(\mathbb{B}\) is an \((L,\varphi)\)-product if (C1) for every \(x,y\in\mathbb{A}\), \(\{i\in I: x(i)\neq y(i)\}\in L\); (C2) for any \(i\in I\) and \(x,y\in\mathbb{A}\), if \(\langle x,y\rangle\in\varphi\), then the element \(z\in\mathbb{B}\) defined by \[ z(j)= \begin{cases} x(j),\quad &\text{if }j= i,\\ y(j),\quad &\text{if }j\neq i,\end{cases} \] belongs to \(\mathbb{A}\). The author gives an internal characterization of \((L,\varphi)\)-products and a fairly strong existence theorem. He also establishes a uniqueness theorem for \((L,\varphi)\)-irredundant representations.