Category:Composite Relations

From ProofWiki
Jump to navigation Jump to search

This category contains results about Composite Relations.

Let $\mathcal R_1 \subseteq S_1 \times T_1$ and $\mathcal R_2 \subseteq S_2 \times T_2$ be relations.

Then the composite of $\mathcal R_1$ and $\mathcal R_2$ is defined and denoted as:

$\mathcal R_2 \circ \mathcal R_1 := \left\{{\left({x, z}\right) \in S_1 \times T_2: \exists y \in S_2 \cap T_1: \left({x, y}\right) \in \mathcal R_1 \land \left({y, z}\right) \in \mathcal R_2}\right\}$