Matrix-Interpretationen (für TRS) als wfmA

• Universum (Spalten)Vektoren $\mathbb {N}$^d
• Ordnung: x > y$\iff$x₁ > y₁∧$\bigwedge_{{i>1}}^{}$x_i≥y_i
• Interpretation jedes k-stelligen Symbols f

  durch k-stellige multi-lineare Funktion

  [f](x₁,…, x_k) = M₁⋅x₁ + ... + M_kx_k + m₀

  mit Vektor m₀, Matrizen M₁,…, M_k,

  angewendet auf Vektoren x₁,…, x_k

• die vorige Interp. für SRS: [a](x) = $\begin{pmatrix}1 & 1\\ 0 & 0\end{pmatrix}$⋅x + $\begin{pmatrix}0\\ 1\end{pmatrix}$

  ( a , Multilinear   { absolute = column[0,1]
     , coefficients = [ matrix[[1,1],[0,0]] ]   } )