\left(\left(a_{1}, a_{2}, \ldots, a_{i}, b, c_{1}, c_{2}, \ldots, c_{i}, d\right) \mapsto \left(\begin{array}{c} \begin{array}{l} \left(\left(\begin{array}{ccccc}
\multirow{1}{*}{$\begin{array}{c} \uparrow \\ a_{1} \\ \downarrow \end{array}$} & \multirow{1}{*}{$\begin{array}{c} \uparrow \\ a_{2} \\ \downarrow \end{array}$} & \multirow{1}{*}{$\begin{array}{c} \uparrow \\ \cdots \\ \downarrow \end{array}$} & \multirow{1}{*}{$\begin{array}{c} \uparrow \\ a_{i} \\ \downarrow \end{array}$} & \multirow{1}{*}{$\begin{array}{c} \uparrow \\ b \\ \downarrow \end{array}$} \\
\end{array}
\right) = \left(\begin{array}{ccccc}
\multirow{1}{*}{$\begin{array}{c} \uparrow \\ c_{1} \\ \downarrow \end{array}$} & \multirow{1}{*}{$\begin{array}{c} \uparrow \\ c_{2} \\ \downarrow \end{array}$} & \multirow{1}{*}{$\begin{array}{c} \uparrow \\ \cdots \\ \downarrow \end{array}$} & \multirow{1}{*}{$\begin{array}{c} \uparrow \\ c_{i} \\ \downarrow \end{array}$} & \multirow{1}{*}{$\begin{array}{c} \uparrow \\ d \\ \downarrow \end{array}$} \\
\end{array}
\right)\right) = \\ \left(\left(\left(a_{1}, a_{2}, \ldots, a_{i}\right) = \left(c_{1}, c_{2}, \ldots, c_{i}\right)\right) \land \left(b = d\right)\right) \end{array} \end{array}\right)\right)