Category:Definitions/Graphs of Relations

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Graphs of Relations.
Related results can be found in Category: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}$

Subcategories

This category has the following 2 subcategories, out of 2 total.

Pages in category "Definitions/Graphs of Relations"

The following 6 pages are in this category, out of 6 total.