„Tranzitív reláció” változatai közötti eltérés

a
kozmetikai javítások
a (Bot: következő módosítása: ast:Rellación transitiva)
a (kozmetikai javítások)
Az <math>A</math> halmazon értelmezett <math>\sim </math> reláció '''''tranzitív''''', ha bármely <math>a, b, c\in A</math> esetén valahányszor <math>a\sim b</math> és <math>b\sim c</math> egyszerre teljesül, mindannyiszor <math>a\sim c</math> is teljesül.
 
[[Halmazelmélet]]ileg ez azt jelenti, hogy a reláció négyzete (önmagával való szorzata, [[összetétel (matematika)|kompozíciója]]) része önmagának (&rho;ρ<small>o</small>&rho;⊆&rho;ρ⊆ρ).
 
== Példák ==
** a tér síkjain a párhuzamosság
** [[logikai formula|logikai formulák]] halmazán az [[logikai ekvivalencia]]
* Minden [[előrendezési reláció|(elő)rendezési]] és [[rendezési reláció|rendezési]] reláció, pl.:
** pozitív [[egész szám]]okon az [[oszthatóság]]
** [[halmaz]]okon a [[tartalmazási reláció]].
247 461

szerkesztés