Category:Total Relations

From ProofWiki
Jump to navigation Jump to search

This category contains results about Total Relations.
Definitions specific to this category can be found in Definitions/Total Relations.

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


Then $\RR$ is defined as total if and only if:

$\forall a, b \in S: \tuple {a, b} \in \RR \lor \tuple {b, a} \in \RR$


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