Definition $latex a \mathrel{\left[ \prod^{(A 2)} f \right]} b \Leftrightarrow \exists M \in \mathrm{fin} \forall i \in (\mathrm{dom}\, f) \setminus M : \Pr^{\mathsf{RLD}}_i a \mathrel{[f_i]} \Pr^{\mathsf{RLD}}_i b$ for an indexed family $latex f$ of funcoids and atomic reloids $latex a$ and $latex b$ of suitable form. Here $latex M \in \mathrm{fin}$ means that $latex M$ is a finite set.
Conjecture Funcoid $latex \prod^{(A 2)} f$ exists.