Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:partial_congruences [2008/04/26 17:42] damien |
sav08:partial_congruences [2015/04/21 17:30] (current) |
||
|---|---|---|---|
| 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*} |