Nelson-Oppen für nicht konvexe Theorien

Falls T_i $\models$ ($\phi_{i}^{}$ $\rightarrow$ (x₁ = y₁ $\vee$...x_k = y_k)),

dann split: für 1$\le$j$\le$k betrachte $\phi$ $\wedge$ (x_j = y_j)

(Beispiel)

(Beweis)