Difference between revisions of "Transitive property"
m (Transitivity moved to Transitive property: in keeping with reflexive property, symmetric property) |
m |
||
Line 1: | Line 1: | ||
− | A [[relation]] <math>R(x,y)</math> is | + | A [[binary relation]] <math>R(x,y)</math> is said to be '''transitive''' or to have the '''transitive property''' if <math>R(x,y)</math> and <math>R(y,z)</math> together imply <math>R(x,z)</math>. |
{{stub}} | {{stub}} | ||
Line 6: | Line 6: | ||
* [[Partially ordered set]] | * [[Partially ordered set]] | ||
+ | * [[Equivalence relation]] | ||
[[Category:Abstract algebra]] | [[Category:Abstract algebra]] | ||
+ | [[Category:Definition]] |
Latest revision as of 15:52, 16 June 2008
A binary relation is said to be transitive or to have the transitive property if and together imply .
This article is a stub. Help us out by expanding it.