\begin{definition}[Definition:Combinable/Relations]
Let:
:$(1): \quad \RR_1 \subseteq S_1 \times T_1$ be a relation on $S_1 \times T_1$
:$(2): \quad \RR_2 \subseteq S_2 \times T_2$ be a relation on $S_2 \times T_2$
If $\RR_1$ and $\RR_2$ agree on $S_1 \cap S_2$, they are said to be '''combinable'''.
Category:Definitions/Relation Theory
\end{definition}