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

З пляцоўкі Вікіпедыя
Перайсці да: рух, знайсці

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

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

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

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

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