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

клас бінарных адносін

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

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

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

Прыклады

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

Гл. таксама

правіць

Крыніцы

правіць

Літаратура

правіць