Category:Graphs of Relations

This category contains results about Graphs of Relations.
Definitions specific to this category can be found in Definitions/Graphs of Relations.

Let $\RR$ be a relation on $S \times T$.

The graph of $\RR$ is the set of all ordered pairs $\tuple {s, t}$ of $S \times T$ such that $s \mathrel \RR t$:

$\map \TT \RR = \set {\tuple {s, t}: s \mathrel \RR t}$