Definition:Relation/Graph

From ProofWiki
Jump to navigation Jump to search

This page is about Graph of Relation. For other uses, see graph.

Definition

Let $S \times T$ be the cartesian product of two sets $S$ and $T$.

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}$


Also known as

The graph of a relation is sometimes seen referred to as its truth set.


Also see

  • Results about graphs of relations can be found here.


Sources