# Category:Total Relations

This category contains results about Total Relations.

Let $\mathcal R \subseteq S \times S$ be a relation on a set $S$.

Then $\mathcal R$ is defined as **total** if and only if:

- $\forall a, b \in S: \tuple {a, b} \in \mathcal R \lor \tuple {b, a} \in \mathcal R$

That is, if and only if every pair of elements is related (either or both ways round).

## Pages in category "Total Relations"

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