Category:Total Relations

From ProofWiki
Jump to navigation Jump to search

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).


This category has only the following subcategory.


Pages in category "Total Relations"

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