Definition:Agreement

Let:


 * $$\mathcal{R}_1 \subseteq S_1 \times T_1$$ be a relation on $$S_1 \times T_1$$;
 * $$\mathcal{R}_2 \subseteq S_2 \times T_2$$ be a relation on $$S_2 \times T_2$$;
 * $$X = S_1 \cap S_2$$.

If:


 * $$\forall s \in X: \mathcal{R}_1 \left ({s}\right) = \mathcal{R}_2 \left ({s}\right)$$

then the relations $$\mathcal{R}_1$$ and $$\mathcal{R}_2$$ are said to agree on or be in agreement on $$X$$.