Category:Transitive Relations

From ProofWiki
Jump to navigation Jump to search

This category contains results about transitivity of relations.


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

$\mathcal R$ is transitive if and only if:

$\tuple {x, y} \in \mathcal R \land \tuple {y, z} \in \mathcal R \implies \tuple {x, z} \in \mathcal R$

that is:

$\set {\tuple {x, y}, \tuple {y, z} } \subseteq \mathcal R \implies \tuple {x, z} \in \mathcal R$

Subcategories

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

Pages in category "Transitive Relations"

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