File:Rock-paper-scissors.svg · Wikimedia Commons · See Wikimedia Commons
relacja przechodnia
Sign in to saverodzaj relacji dwuczłonowej zdefiniowany pewnym wynikaniem (implikacją)
Key facts
- Type
- Binary relation
- Field
- Elementary algebra
- Symbolic statement
- ∀ a , b , c ∈ X : ( a R b ∧ b R c ) ⇒ a R c {\displaystyle \forall a,b,c\in X:(aRb\wedge bRc)\Rightarrow aRc}
via Wikipedia infobox
Wikidata facts
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Polski
Relacja przechodnia (tranzytywna) – relacja, która jeśli zachodzi dla pary oraz pary to zachodzi też dla pary . Relację dwuczłonową nazywa się przechodnią, gdy: Równoważnie, jest przechodnia dokładnie wtedy, gdy gdzie „” oznacza działanie składania relacji binarnych. Przechodniość jest jedną z definiujących cech praporządków, w tym relacji równoważności i porządków częściowych (skierowań).
Abstract from DBpedia / Wikipedia · CC BY-SA