Ero sivun ”Transitiivisuus (matematiikka)” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
seuraa, että
ovat ovat
Rivi 3:
<math>(\forall a,b,c \in A) \left((a R b) \wedge (b R c) \right) \rightarrow (a R c)</math>.
 
Esimerkiksi [[järjestysrelaatio]]t ovat, kuten [[kokonaisluku]]jen ja myös [[reaaliluku]]jen suuruusjärjestys, ovat transitiivisia. Jos nimittäin luku ''a'' on pienempi kuin ''b'' ja ''b'' pienempi kuin ''c'', on myös ''a'' pienempi kuin ''c'', eli
 
<math> a < b \wedge b < c \Rightarrow a < c</math>