Category:Total Relations

From ProofWiki
Jump to: navigation, 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: \left({a, b}\right) \in \mathcal R \lor \left({b, a}\right) \in \mathcal R$


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

Subcategories

This category has only the following subcategory.

T

Pages in category "Total Relations"

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