Бінарнае дачыненне

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

Біна́рная дачыне́ннедачыненне між дзвюма мноствамі R(X,Y).

Факт наяўнасці дачынення R між элементамі x і y можна абазначыць наступным чынам:

  • R(x, y)
  • xRy
  • y = R(x)

Разглядаюць наступныя катэгорыі бінарных дачыненняў:

  • функцыянальнае дачыненне (або проста функцыя) — дачыненне, у якім кожны x можа мець не больш за адзін такі y, што y=R(x). Інакш кажучы, функцыя — гэта такое дачыненне, для якога з таго, што і вынікае
  • ін'ектыўнае дачыненне (або проста ін'екцыя) — дачыненне, ў якім кожны y можа мець не больш за адзін такі x, што y=R(x). Інакш кажучы, ін'екцыя — гэта такое дачыненне, для якога з таго, што і вынікае