From Wikipedia, the free encyclopedia
Ein binær relasjon R over ei mengd X er transitiv, viss det gjeld for alle a, b og c i X, at dersom a er relatert til b og b er relatert til c, er òg a relatert til c. I predikatlogikk skriv ein
Døme på transitive relasjonar er «er større enn» og «er lik»: Viss a > b og b > c, så er òg a > c, og viss a = b og b = c, så er a = c.
Ein transitiv relasjon som òg er refleksiv og symmetrisk vert kalla ein ekvivalensrelasjon.
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.