Transitive Relations: Difference between revisions
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
===Mathematical Definition=== | ===Mathematical Definition=== | ||
A binary relation <span style="font-size: | A binary relation <span style="font-size:150%">R; italics''</span> defined on a set S is said to be transitive if, for any elements A, B, and C in the set S, given that A R B and B R C, it necessarily follows that A R C. | ||
Revision as of 14:45, 9 January 2022
Mathematical Definition
A binary relation R; italics defined on a set S is said to be transitive if, for any elements A, B, and C in the set S, given that A R B and B R C, it necessarily follows that A R C.
Examples of Transitive Relations
R | Explanation |
---|---|
precedes | if A precedes B, and B precedes C, necessarily A precedes C. This would be true whatever the nature of A, B, and C,although the ideas can be made more precise by thinkingof A, B, and C as events occurring at specific times. |
includes | if A includes B, and B includes C, necessarily A includes |
included in | |
is less than | |
is greater than | |
supports | |
implies | |
causes |
The generic phrase is subordinate to can be used to represent any of the above relations.
Transitive relations are quite common. However, one shoud be careful not to grant transitivity when it is not present.
For ecxample, the contextual relation "is preferred to" is not transitive.
If a person says "blue is preferred to red" and "red is preferred to yellow," it still may be that the person will say "yellow is preferred to blue," hence, transitivity is violated.
are next-door neighbours is not but is neighbour of is!
Such contextual relations can be referred to as "transitive preference" and "intransitive preference."