Перайсці да зместу

Транзітыўнасць

З Вікіпедыі, свабоднай энцыклапедыі

Транзіты́ўнасць[1][2] (ад лац.: transitivus — пераход, перамяшчэнне) — уласцівасць бінарных адносін (бінарных дачыненняў) «пераходзіць» з адных пар аб’ектаў на іншыя.

Бінарнае дачыненне на мностве называецца транзітыўным, калі для любых з трох элементаў мноства выкананне суадносін і цягне выкананне суадносіны .

Адносіна транзітыўна, калі

  • Роўнасць: калі і , то .
  • Імплікацыя: калі і , то .
  • Дзялімасць: калі дзеліцца на і дзеліцца на , то дзеліцца на .
  • Адносіна парадку: калі и , то .