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

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Ptbotgourou (vitalap | szerkesztései)
a Bot: következő módosítása: ast:Rellación transitiva
SamatBot (vitalap | szerkesztései)
a kozmetikai javítások
5. sor:
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 ==
36. sor:
** 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ó]].