Category:Definitions/Transitive Relations
Jump to navigation
Jump to search
This category contains definitions related to Transitive Relations.
Related results can be found in Category:Transitive Relations.
$\RR$ is transitive if and only if:
- $\tuple {x, y} \in \RR \land \tuple {y, z} \in \RR \implies \tuple {x, z} \in \RR$
that is:
- $\set {\tuple {x, y}, \tuple {y, z} } \subseteq \RR \implies \tuple {x, z} \in \RR$
Subcategories
This category has the following 4 subcategories, out of 4 total.
Pages in category "Definitions/Transitive Relations"
The following 13 pages are in this category, out of 13 total.
T
- Definition:Transitive Closure (Relation Theory)
- Definition:Transitive Reduction
- Definition:Transitive Reduction/Relation Theory
- Definition:Transitive Reflexive Closure
- Definition:Transitive Relation
- Definition:Transitive Relation (Class Theory)
- Definition:Transitive Relation/Class Theory
- Definition:Transitive Relation/Definition 1
- Definition:Transitive Relation/Definition 2
- Definition:Transitivity (Relation Theory)