# Differences

This shows you the differences between two versions of the page.

 sav08:partial_congruences [2008/04/26 17:42]damien sav08:partial_congruences [2015/04/21 17:30] (current) Both sides previous revision Previous revision 2008/04/26 17:42 damien 2008/04/23 07:50 vkuncak 2008/04/23 07:50 vkuncak 2008/04/23 07:49 vkuncak 2008/04/23 07:45 vkuncak 2008/04/23 07:43 vkuncak created 2008/04/26 17:42 damien 2008/04/23 07:50 vkuncak 2008/04/23 07:50 vkuncak 2008/04/23 07:49 vkuncak 2008/04/23 07:45 vkuncak 2008/04/23 07:43 vkuncak created Line 24: Line 24: We apply the congruence condition only to terms that already exist in the set, using congruence condition: We apply the congruence condition only to terms that already exist in the set, using congruence condition: - $+ \begin{equation*} \begin{array}{l} \begin{array}{l} ​\forall x_1,​\ldots,​x_n,​y_1,​\ldots,​y_n. \bigwedge_{i=1}^n (x_i,y_i) \in r\ \land \ f(x_1,​\ldots,​x_n) \in T \land f(y_1,​\ldots,​y_n) \in T \rightarrow \\ ​\forall x_1,​\ldots,​x_n,​y_1,​\ldots,​y_n. \bigwedge_{i=1}^n (x_i,y_i) \in r\ \land \ f(x_1,​\ldots,​x_n) \in T \land f(y_1,​\ldots,​y_n) \in T \rightarrow \\ (f(x_1,​\ldots,​x_n),​f(y_1,​\ldots,​y_n)) \in r (f(x_1,​\ldots,​x_n),​f(y_1,​\ldots,​y_n)) \in r -$ + \end{equation*}