binary relation R with the property that xRy and yRz implies xRz From Wikipedia, the free encyclopedia
In logic and mathematics, transitivity is a property of a binary relation. It is a prerequisite of an equivalence relation and of a partial order.
In general, given a set with a relation, the relation is transitive if whenever a is related to b and b is related to c, then a is related to c. For example:
Given a relation , the smallest transitive relation containing is called the transitive closure of , and is written as .[2]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.