# Definition:Agreement/Relations

## Definition

Let:

$(1): \quad \mathcal R_1 \subseteq S_1 \times T_1$ be a relation on $S_1 \times T_1$
$(2): \quad \mathcal R_2 \subseteq S_2 \times T_2$ be a relation on $S_2 \times T_2$
$(3): \quad X \subseteq S_1 \cap S_2$

Let:

$\forall s \in X: \mathcal R_1 \left ({s}\right) = \mathcal R_2 \left ({s}\right)$

where $\mathcal R_1 \left ({s}\right)$ denotes the image of $s$ under $\mathcal R$:

$\mathcal R_1 \left ({s}\right) := \left\{ {t \in T: s \mathrel{\mathcal R_1} t}\right\}$

Then the relations $\mathcal R_1$ and $\mathcal R_2$ are said to agree on or be in agreement on $X$.