Transitive property: Difference between revisions
m Transitivity moved to Transitive property: in keeping with reflexive property, symmetric property |
mNo edit summary |
||
| 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.